BibTeX record conf/lpnmr/BermanSF95

download as .bib file

@inproceedings{DBLP:conf/lpnmr/BermanSF95,
  author       = {Kenneth A. Berman and
                  John S. Schlipf and
                  John V. Franco},
  editor       = {V. Wiktor Marek and
                  Anil Nerode},
  title        = {Computing Well-founded Semantics Faster},
  booktitle    = {Logic Programming and Nonmonotonic Reasoning, Third International
                  Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {928},
  pages        = {113--126},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-59487-6\_9},
  doi          = {10.1007/3-540-59487-6\_9},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/lpnmr/BermanSF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}