Graciani-Díaz, C., & Pérez-Jiménez M. J.  (2005).??Using automated reasoning systems on molecular computing.  Lecture Notes in Computer Science. 3384, 128-137.