Behnke, Gregor, Daniel Höller, and Susanne Biundo. 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):25-33. https://doi.org/10.1609/icaps.v25i1.13728.