@phdthesis{speck-phd2022,
  author       = {David Speck},
  title        = {Symbolic Search for Optimal Planning with Expressive Extensions},
  school       = {University of Freiburg},
  year         = 2022,
}