2013 - Answer Set Solving in Practice - Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub.pdf 2.38 MB