@phdthesis{DBLP:phd/dnb/Ostrowski18,
  author = {Ostrowski, Max},
  title = {Modern constraint answer set solving},
  school = {University of Potsdam, Germany},
  year = {2018}
}