Matilde Celma Carlos Garcia Laura Mota-Herranz Hendrik Decker Comparing and Synthesizing Integrity Checking Methods for Deductive Databases. 214-222 ICDE94/P214.pdf 1994 ICDE db/conf/icde/icde94.html#CelmaGMD94 conf/icde/94 db/conf/icde/CelmaGMD94.html conf/edbt/BryDM88 conf/daisd/CelmaCMPM91 conf/adc/CelmaCD93 conf/dexa/CelmaM92 conf/eds/Decker86 conf/daisd/Decker92 journals/dke/DasW89 journals/csur/GallaireMN84 books/sp/Lloyd87 journals/jlp/LloydST87 conf/daisd/NusselDCC92 journals/acta/Nicolas82 conf/vldb/Olive91 conf/db-workshops/Reiter82 books/mk/minker88/SadriK88