Paun, G., Pérez-Jiménez M. J., & Sancho-Caparrini F.  (2004).??On the Reachability Problem for P Systems With Symport/Antiport.  Publicationes Mathematicae Debrecen. 65, 603-627.