@phdthesis{DBLP:phd/dnb/Kaminski23,
  title = {Complex reasoning with answer set programming},
  author = {Kaminski, Roland},
  pages = {301},
  school = {University of Potsdam},
  type = {doctoralthesis},
  year = {2023}
}