@phdthesis{DBLP:phd/de/Gebser2011,
  author = {Gebser, Martin},
  title = {Proof theory and algorithms for answer set programming},
  school = {University of Potsdam},
  year = {2011}
}