BibTeX record books/mk/minker88/SadriK88

download as .bib file

@incollection{DBLP:books/mk/minker88/SadriK88,
  author    = {Fariba Sadri and
               Robert A. Kowalski},
  editor    = {Jack Minker},
  title     = {A Theorem-Proving Approach to Database Integrity},
  booktitle = {Foundations of Deductive Databases and Logic Programming},
  pages     = {313--362},
  publisher = {Morgan Kaufmann},
  year      = {1988},
  url       = {https://doi.org/10.1016/b978-0-934613-40-8.50013-0},
  doi       = {10.1016/b978-0-934613-40-8.50013-0},
  timestamp = {Thu, 27 Jun 2019 09:18:50 +0200},
  biburl    = {https://dblp.org/rec/books/mk/minker88/SadriK88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics