@article{DBLP:journals/ai/GebserKS12, author = {Gebser, Martin and Kaufmann, Benjamin and Schaub, Torsten}, title = {Conflict-driven answer set solving: From theory to practice}, journal = {Artif. Intell.}, volume = {187}, pages = {52--89}, year = {2012} }