@phdthesis{TEMP:phd/de/Ostrowski18,
  author = {Ostrowski, Max},
  title = {Modern Constraint Answer Set Solving},
  school = {University of Potsdam},
  year = {2018},
  type = {Dissertation}
}