Robert A. Kowalski, Fariba Sadri, Paul Soper
Integrity Checking in Deductive Databases
VLDB, 1987.
@inproceedings{VLDB-1987-KowalskiSS,
author = "Robert A. Kowalski and Fariba Sadri and Paul Soper",
booktitle = "{Proceedings of the 13th International Conference on Very Large Data Bases}",
ee = "http://www.vldb.org/conf/1987/P061.PDF",
isbn = "0-934613-46-X",
pages = "61--69",
publisher = "{Morgan Kaufmann}",
title = "{Integrity Checking in Deductive Databases}",
year = 1987,
}