Cordón-Franco, A., Gutiérrez-Naranjo M. A., Pérez-Jiménez M. J., & Sancho-Caparrini F.  (2004).??A Prolog simulator for deterministic P systems with active membranes.  New Generation Computing. 22(4),?349-363   .