Behnke, Gregor, et al. “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.