@book{DBLP:series/synthesis/2012Gebser, title = {Answer Set Solving in Practice}, author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten}, publisher = {Morgan {\&} Claypool Publishers}, series = {Synthesis Lectures on Artificial Intelligence and Machine Learning}, year = {2012} }