@inproceedings{HoellerHPlan21,
   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 4th ICAPS Workshop on Hierarchical Planning (HPlan)},
   year = {2021}
}