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