@article{GebserKaufmannSchaub2012,
  author    = {Martin Gebser and Benjamin Kaufmann and Torsten H. Schaub},
  title     = {Conflict-driven answer set solving: From theory to practice},
  journal   = {Artificial intelligence},
  volume    = {187},
  number    = {8},
  pages     = {52 -- 89},
  doi       = {10.1016/j.artint.2012.04.001},
  year      = {2012},
}