BibTeX record books/mk/minker88/EmdenS88

download as .bib file

@incollection{DBLP:books/mk/minker88/EmdenS88,
  author    = {Maarten H. van Emden and
               P{\'{e}}ter Szeredi},
  title     = {Converting AND-Control to OR-Control by Program Transformation},
  booktitle = {Foundations of Deductive Databases and Logic Programming},
  pages     = {699--709},
  publisher = {Morgan Kaufmann},
  year      = {1988},
  crossref  = {DBLP:books/mk/Minker88},
  url       = {https://doi.org/10.1016/b978-0-934613-40-8.50022-1},
  doi       = {10.1016/b978-0-934613-40-8.50022-1},
  timestamp = {Thu, 27 Jun 2019 09:20:51 +0200},
  biburl    = {https://dblp.org/rec/books/mk/minker88/EmdenS88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mk/Minker88,
  editor    = {Jack Minker},
  title     = {Foundations of Deductive Databases and Logic Programming},
  publisher = {Morgan Kaufmann},
  year      = {1988},
  url       = {https://doi.org/10.1016/c2013-0-07699-2},
  doi       = {10.1016/c2013-0-07699-2},
  isbn      = {0-934613-40-0},
  timestamp = {Sun, 18 Apr 2021 20:19:06 +0200},
  biburl    = {https://dblp.org/rec/books/mk/Minker88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics