Song, B., Pérez-Jiménez M. J., & Pan L.  (2015).??Efficient solutions to hard computational problems by P systems with symport/antiport rules and membrane division.  Biosystems. 130, 51-58.