@phdthesis{DBLP:phd/de/Kaufmann15,
  author = {Kaufmann, Benjamin},
  title = {High performance answer set solving},
  school = {University of Potsdam},
  year = {2015}
}