%0 Book Section %1 books/mk/minker88/SadriK88 %A Sadri, Fariba %A Kowalski, Robert A. %B Foundations of Deductive Databases and Logic Programming. %D 1988 %E Minker, Jack %I Morgan Kaufmann %K dblp %P 313-362 %T A Theorem-Proving Approach to Database Integrity. %U http://dblp.uni-trier.de/db/books/collections/minker88.html#SadriK88 %@ 0-934613-40-0

@incollection{books/mk/minker88/SadriK88, added-at = {2019-06-27T00:00:00.000+0200}, author = {Sadri, Fariba and Kowalski, Robert A.}, biburl = {https://www.bibsonomy.org/bibtex/2bead7a7af540adf6916f021bf3deb753/dblp}, booktitle = {Foundations of Deductive Databases and Logic Programming.}, crossref = {books/mk/Minker88}, editor = {Minker, Jack}, ee = {https://doi.org/10.1016/b978-0-934613-40-8.50013-0}, interhash = {d94346db6f845abddde3401f7e6f4cc3}, intrahash = {bead7a7af540adf6916f021bf3deb753}, isbn = {0-934613-40-0}, keywords = {dblp}, pages = {313-362}, publisher = {Morgan Kaufmann}, timestamp = {2019-06-28T11:41:25.000+0200}, title = {A Theorem-Proving Approach to Database Integrity.}, url = {http://dblp.uni-trier.de/db/books/collections/minker88.html#SadriK88}, year = 1988 }