Martínez-del-Amor, M. A., Pérez-Carrasco J., & Pérez-Jiménez M. J.  (2013).??Simulating a Family of Tissue P Systems Solving SAT on the GPU.  Eleventh Brainstorming Week on Membrane Computing (11BWMC).  201-220.