@phdthesis{Kaminski2023,
  author      = {Roland Kaminski},
  title       = {Complex reasoning with answer set programming},
  type        = {doctoralthesis},
  pages       = {301},
  school      = {Universit{\"a}t Potsdam},
  year        = {2023},
}