R. Alford, V. Shivashankar, U. Kuter, and D. Nau, “HTN Problem Spaces: Structure, Algorithms, Termination”, SOCS, vol. 3, no. 1, pp. 2–9, Aug. 2021.