Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Romero-Campero F. J.  (2007).?? A uniform solution to SAT using membrane creation.  Theoretical Computer Science. 371(1-2),?54-61.