Patrizia Asirelli Paola Inverardi A. Mustaro Improving Integrity Constraint Checking in Deductive Databases. 72-86 ICDT1988/P072.pdf 1988 ICDT db/conf/icdt/icdt88.html#AsirelliIM88 conf/icdt/88 http://dx.doi.org/10.1007/3-540-50171-1_4 books/mk/minker88/AptBW88 journals/jlp/AsirelliSM85 conf/eds/Decker86 books/sp/Lloyd84 books/sp/Lloyd87 journals/jlp/LloydT85 journals/jlp/LloydT86 journals/jlp/LloydST87 journals/acta/Nicolas82 books/mk/minker88/SadriK88