Graciani-Díaz, C., & Pérez-Jiménez M. J.  (2003).??Using automated reasoning systems in Natural Computing.  First Joint Meeting between the RSME and the AMS.  4.