BibTeX record books/mk/minker88/Gelder88

download as .bib file

@incollection{DBLP:books/mk/minker88/Gelder88,
  author    = {Allen Van Gelder},
  editor    = {Jack Minker},
  title     = {Negation as Failure Using Tight Derivations for General Logic Programs},
  booktitle = {Foundations of Deductive Databases and Logic Programming},
  pages     = {149--176},
  publisher = {Morgan Kaufmann},
  year      = {1988},
  url       = {https://doi.org/10.1016/b978-0-934613-40-8.50007-5},
  doi       = {10.1016/b978-0-934613-40-8.50007-5},
  timestamp = {Thu, 27 Jun 2019 09:10:36 +0200},
  biburl    = {https://dblp.org/rec/books/mk/minker88/Gelder88.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics