Integrity Checking in Deductive Databases.

Robert A. Kowalski, Fariba Sadri, Paul Soper

Browse the full VLDB paper archive.