Pérez-Jiménez, M. J., Graciani-Díaz C., Romero-Jiménez Á., & Sancho-Caparrini F.  (2000).??Soluciones moleculares del problema SAT de la Lógica Proposicional.  (Ángel Nepomuceno, José F. Quesada, Francisco J. Salguero, Ed.).Primeras Jornadas sobre Lógica y Lenguaje.  243-252.