R. Alford, P. Bercher, and D. Aha, “Tight Bounds for HTN Planning with Task Insertion (Extended Abstract)”, SOCS, vol. 6, no. 1, pp. 221–222, Sep. 2021.