@phdthesis{Kaufmann2015,
  author      = {Benjamin Kaufmann},
  title       = {High performance answer set solving},
  type        = {doctoralthesis},
  pages       = {182},
  year        = {2015},
}