Cecilia, J. M., García J. M., Guerrero G. D., Martínez-del-Amor M. A., Pérez-Hurtado I., & Pérez-Jiménez M. J.  (2010).??Simulating a P system based efficient solution to SAT by using GPUs .  Journal of Logic and Algebraic Programming. 79(6),?317-325.