Behnke, G.; Höller, D.; Biundo, S. On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. ICAPS 2015, 25, 25-33.