@article{GebserKaufmannNeumannetal.2007,
  author    = {Martin Gebser and Benjamin Kaufmann and Andr{\´e} Neumann and Torsten H. Schaub},
  title     = {Conflict-driven answer set enumeration},
  year      = {2007},
}