G. Behnke, D. Höller, and S. Biundo, “On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition”, ICAPS, vol. 25, no. 1, pp. 25-33, Apr. 2015.