Behnke, G., D. Höller, and S. Biundo. “On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 25, no. 1, Apr. 2015, pp. 25-33, doi:10.1609/icaps.v25i1.13728.