HTN Problem Spaces: Structure, Algorithms, Termination

Alford, R., Shivashankar, V., Kuter, U., and Nau, D. HTN Problem Spaces: Structure, Algorithms, Termination. SoCS-12: Proceedings of the Fifth Annual Symposium on Combinatorial Search, Niagara Falls, Canada (July 2012).