Guido Moerkotte Stefan Karl Efficient Consistency Control in Deductive Databases. 118-128 ICDT1988/P118.pdf 1988 ICDT db/conf/icdt/icdt88.html#MoerkotteK88 conf/icdt/88 http://dx.doi.org/10.1007/3-540-50171-1_7 journals/jacm/Kowalski75 conf/vldb/KowalskiSS87 books/sp/Lloyd84 journals/jlp/LloydT85 journals/acta/Nicolas82 conf/adbt/Reiter77