@misc{DBLP:conf/iclp/GebserKKOSW16x,
  title = {Theory Solving Made Easy with Clingo 5 (Extended Version)},
  author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Ostrowski, Max and Schaub, Torsten and Wanko, Philipp},
  year = {2016}
}