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