Graciani-Díaz, C., & Pérez-Jiménez M. J.  (2005).??Automated reasoning systems and molecular computing.  (Mario J. Pérez-Jiménez, Álvaro Romero-Jiménez, Fernando Sancho-Caparrini, Ed.).Recent Results in Natural Computing.