Höller, D., Wichlacz, J., Bercher, P., & Behnke, G. (2022). Compiling HTN Plan Verification Problems into HTN Planning Problems. Proceedings of the International Conference on Automated Planning and Scheduling, 32(1), 145-150. https://doi.org/10.1609/icaps.v32i1.19795