Gutiérrez-Naranjo, M. A., Alonso-Jiménez J. A., & Borrego-Díaz J.  (2003).??Generalizing Logic Programs Via Subsumption.  (R. Moreno-Díaz jr., A. Quesada-Arencibia, J. C. Rodríguez-Rodríguez, Ed.).International Conference on Computer Aided Systems Theory.  185-188.

Gutiérrez-Naranjo, M. A., Alonso-Jiménez J. A., & Borrego-Díaz J.  (2003).??Generalizing Programs via Subsumption.  Lecture Notes in Computer Science. 2809, 115-126.

Alonso-Jiménez, J. A., Borrego-Díaz J., Chávez-González A. M., Gutiérrez-Naranjo M. A., & Navarro-Marín J. D.  (2002).??A Methodology for the Computer-Aided Cleaning of Complex Knowledge Databases.  IECON'02.  

Gutiérrez-Naranjo, M. A., Alonso-Jiménez J. A., & Borrego-Díaz J.  (2002).??A Quasi-Metric for Machine Learning.  Lecture Notes in Computer Science. 2527, 193-203.

Alonso-Jiménez, J. A., Borrego-Díaz J., Chávez-González A. M., & Gutiérrez-Naranjo M. A.  (2002).??Towards a Practical Argumentative Reasoning with QSD.  I Taller Iberoamericano sobre Deducción Automática e Inteligencia Artificial.  

Alonso-Jiménez, J. A., Borrego-Díaz J., Pérez-Jiménez M. J., & Ruiz-Reina J. L.  (1998).?? Curso Práctico de Teoría de Conjuntos .   XXV+345.