@phdthesis{Ostrowski2018,
  author      = {Max Ostrowski},
  title       = {Modern constraint answer set solving},
  type        = {doctoralthesis},
  pages       = {135},
  school      = {Universit{\"a}t Potsdam},
  year        = {2018},
}