@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} }