@inproceedings{Hoeller2023IPCpro,
  title     = {The {PANDA} Progression System for {HTN} Planning in the 2023 {IPC}},
  author    = {H{\"o}ller, Daniel},
  booktitle = {Proceedings of the 11th {I}nternational {P}lanning {C}ompetition: Planner and Domain Abstracts -- Hierarchical Task Network (HTN) Planning Track (IPC)},
  year      = {2023}
}