@inproceedings{DBLP:conf/iclp/GebserKKOSW16,
  title = {Theory Solving Made Easy with Clingo 5},
  author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Ostrowski, Max and Schaub, Torsten and Wanko, Philipp},
  booktitle = {{ICLP} (Technical Communications)},
  pages = {2:1--2:15},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  series = {{OASICS}},
  volume = {52},
  year = {2016}
}