Robert A. Kowalski, Fariba Sadri, Paul Soper. Integrity Checking in Deductive Databases. In Peter M. Stocker, William Kent, Peter Hammersley, editors, VLDB 87, Proceedings of 13th International Conference on Very Large Data Bases, September 1-4, 1987, Brighton, England. pages 61-69, Morgan Kaufmann, 1987. [doi]
Abstract is missing.