Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Romero-Campero F. J.  (2005).??Solving SAT with membrane creation.  (S. Barry-Cooper, B. Lowe, L. Torenvliet, Ed.).Computability in Europe 2005 (CiE 2005): New Computational Paradigms .  82-91. .