BibTeX record books/mc/18/Truszczynski18

download as .bib file

@incollection{DBLP:books/mc/18/Truszczynski18,
  author    = {Miroslaw Truszczynski},
  title     = {An introduction to the stable and well-founded semantics of logic
               programs},
  booktitle = {Declarative Logic Programming: Theory, Systems, and Applications},
  pages     = {121--177},
  year      = {2018},
  crossref  = {DBLP:books/mc/18/KL2018},
  url       = {https://doi.org/10.1145/3191315.3191318},
  doi       = {10.1145/3191315.3191318},
  timestamp = {Thu, 27 Jun 2019 20:09:32 +0200},
  biburl    = {https://dblp.org/rec/bib/books/mc/18/Truszczynski18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/mc/18/KL2018,
  editor    = {Michael Kifer and
               Yanhong Annie Liu},
  title     = {Declarative Logic Programming: Theory, Systems, and Applications},
  publisher = {{ACM} / Morgan {\&} Claypool},
  year      = {2018},
  url       = {https://doi.org/10.1145/3191315},
  doi       = {10.1145/3191315},
  isbn      = {978-1-97000-199-0},
  timestamp = {Thu, 27 Jun 2019 20:07:10 +0200},
  biburl    = {https://dblp.org/rec/bib/books/mc/18/KL2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics