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