BibTeX record conf/iclp/GebserKKOSW16

download as .bib file

@inproceedings{DBLP:conf/iclp/GebserKKOSW16,
  author    = {Martin Gebser and
               Roland Kaminski and
               Benjamin Kaufmann and
               Max Ostrowski and
               Torsten Schaub and
               Philipp Wanko},
  editor    = {Manuel Carro and
               Andy King and
               Neda Saeedloei and
               Marina De Vos},
  title     = {Theory Solving Made Easy with Clingo 5},
  booktitle = {Technical Communications of the 32nd International Conference on Logic
               Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
               {USA}},
  series    = {{OASICS}},
  volume    = {52},
  pages     = {2:1--2:15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2016},
  url       = {https://doi.org/10.4230/OASIcs.ICLP.2016.2},
  doi       = {10.4230/OASIcs.ICLP.2016.2},
  timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl    = {https://dblp.org/rec/conf/iclp/GebserKKOSW16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics