Alford, R., Bercher, P., & Aha, D. (2021). Tight Bounds for HTN Planning with Task Insertion (Extended Abstract). Proceedings of the International Symposium on Combinatorial Search, 6(1), 221–222. https://doi.org/10.1609/socs.v6i1.18347