@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}
}