Song, B., Pérez-Jiménez M. J., & Pan L.  (2017).??An efficient time-free solution to QSAT problem using P systems with proteins on membranes.  Information and Computation. 2560, 287-299.