Integrity Checking in Deductive Databases.

conf/vldb/87 Robert A. Kowalski Fariba Sadri Paul Soper Integrity Checking in Deductive Databases. 61-69 1987 VLDB db/conf/vldb/vldb87.html#KowalskiSS87 http://www.vldb.org/conf/1987/P061.PDF conf/adbt/Clark77 ... ... journals/jacm/Kowalski75 ... books/sp/Lloyd84 journals/jlp/LloydST87 journals/jlp/LloydT85 journals/jlp/LloydT86 journals/acta/Nicolas82 ... ... ...