Gutiérrez-Naranjo, M. A., Pérez-Jiménez M. J., & Romero-Campero F. J.  (2006).??A linear time solution for QSAT with membrane creation.  Lecture Notes in Computer Science. 3850, 241-252.