1. Cordero, P., Enciso, M., de Guzmán, I. P. and Mora, A. SLFD logic: Elimination of data redundancy in knowledge representation. Advances in Artificial Intelligence - IBERAMIA 2002: 8th Ibero-American Conference on AI, Seville, Spain, November 12–15, 2002, Proceedings. Edited by: Garijo, F. J., Riquelme Santos, J. C. and Toro, M. Vol. 2527, pp.141–151. Berlin: Springer. Lecture Notes in Computer Science
2. Cordero, P., Enciso, M., Mora, A. and de Guzmán, I. P. A complete logic for fuzzy functional dependencies over domains with similarity relations. Bio-Inspired Systems: Computational and Ambient Intelligence, 10th International Work-Conference on Artificial Neural Networks, IWANN 2009, Salamanca, Spain, June 10–12, 2009, Proceedings, Part I 2009. Edited by: Cabestany, J., Sandoval, F., Prieto, A. and Corchado, J. M. Vol. 5517, pp.261–269. Berlin, Heidelberg: Springer-Verlag. Lecture Notes in Computer Science
3. Cordero, P., Mora, A., Enciso, M. and de Guzmán, I. P. Computing minimal keys using lattice theory. 30 June, 1–3 July 2009, Gijón, Asturias, Spain. Proceedings of the International Conference on Computational and Mathematical Methods in Science and Engineering, CMMSE 2009, pp.288–299. Vol. 1, J. Vigo Aguiar, ed., J. Vigo Aguiar y B.A. Wade Editores, Gijón – Asturias, Spain
4. Non-deterministic ideal operators: An adequate tool for formalization in Data Bases