Song, T., Macías-Ramos L. F., Pan L., & Pérez-Jiménez M. J.  (2014).??Time-free solution to SAT problem using P systems with active membranes.  Theoretical Computer Science. 529, 61-68.