Pablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán. SL::FD:: Logic: Elimination of Data Redundancy in Knowledge Representation. In Francisco J. Garijo, José Cristóbal Riquelme Santos, Miguel Toro, editors, Advances in Artificial Intelligence - IBERAMIA 2002, 8th Ibero-American Conference on AI, Seville, Spain, November 12-15, 2002, Proceedings. Volume 2527 of Lecture Notes in Computer Science, pages 141-150, Springer, 2002. [doi]
Abstract is missing.