@inproceedings{HoellerICAPS22B,
   title = {Compiling {HTN} Plan Verification Problems into {HTN} Planning Problems},
   author = {Daniel H{\"{o}}ller and Julia Wichlacz and Pascal Bercher and Gregor Behnke},
   booktitle = {Proceedings of the 32nd International Conference on Automated Planning and Scheduling ({ICAPS})},
   publisher = {{AAAI} Press},
   pages = {145--150},
   year = {2022}
}