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