@phdthesis{Peuter2024,
  author      = {Dennis Peuter},
  title       = {Applications for Symbol Elimination in Combination with Hierarchical Reasoning},
  type        = {doctoralthesis},
  pages       = {180},
  school      = {Universit{\"a}t Koblenz, Universit{\"a}tsbibliothek},
  year        = {2024},
}