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