@phdthesis{Gebser2011,
  author      = {Martin Gebser},
  title       = {Proof theory and algorithms for answer set programming},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t Potsdam},
  year        = {2011},
}