Alford, R.; Shivashankar, V.; Kuter, U.; Nau, D. HTN Problem Spaces: Structure, Algorithms, Termination. SOCS 2021, 3, 2-9.