Theory Solving Made Easy with Clingo 5

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko. Theory Solving Made Easy with Clingo 5. In Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos, editors, Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA. Volume 52 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

@inproceedings{GebserKKOSW16,
  title = {Theory Solving Made Easy with Clingo 5},
  author = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Max Ostrowski and Torsten Schaub and Philipp Wanko},
  year = {2016},
  doi = {10.4230/OASIcs.ICLP.2016.2},
  url = {http://dx.doi.org/10.4230/OASIcs.ICLP.2016.2},
  researchr = {https://researchr.org/publication/GebserKKOSW16},
  cites = {0},
  citedby = {0},
  booktitle = {Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, October 16-21, 2016, New York City, USA},
  editor = {Manuel Carro and Andy King and Neda Saeedloei and Marina De Vos},
  volume = {52},
  series = {OASICS},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-007-1},
}