@phdthesis{gnad-phd2021,
  author       = {Daniel Gnad},
  title        = {Star-Topology Decoupled State-Space Search in {AI} Planning and Model
    Checking},
  school       = {Saarland University},
  year         = 2021,
}