Höller, Daniel, Julia Wichlacz, Pascal Bercher, and Gregor Behnke. “Compiling HTN Plan Verification Problems into HTN Planning Problems”. Proceedings of the International Conference on Automated Planning and Scheduling 32, no. 1 (June 13, 2022): 145-150. Accessed June 4, 2023. https://ojs.aaai.org/index.php/ICAPS/article/view/19795.