Theory Solving Made Easy with Clingo 5.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko

Browse the full ICLP paper archive.