author = { Gebser, Martin AND Kaminski, Roland AND Kaufmann, Benjamin AND Ostrowski, Max AND Schaub, Torsten AND Wanko, Philipp Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Max Ostrowski and Torsten Schaub and Philipp Wanko },

title = { Theory Solving Made Easy with Clingo 5 },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Theory Language , Answer Set Programming , Theory Propagation },

year = {2016},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }