Pablo Cordero Manuel Enciso Angel Mora Inman P. de Guzmán SL<sub>FD</sub> Logic: Elimination of Data Redundancy in Knowledge Representation. 141-150 2002 conf/iberamia/2002 IBERAMIA http://link.springer.de/link/service/series/0558/bibs/2527/25270141.htm db/conf/iberamia/iberamia2002.html#CorderoEMG02