Song, B., Pérez-Jiménez M. J., & Pan L.  (2016).??An efficient time-free solution to SAT problem by P systems with proteins on membranes.  Journal of Computer and System Sciences. 82(6),?1090-1099.