BEHNKE, G.; HÖLLER, D.; BIUNDO, S. On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. Proceedings of the International Conference on Automated Planning and Scheduling, [S. l.], v. 25, n. 1, p. 25-33, 2015. DOI: 10.1609/icaps.v25i1.13728. Disponível em: https://ojs.aaai.org/index.php/ICAPS/article/view/13728. Acesso em: 23 apr. 2024.