SHAIK, I.; VAN DE POL, J. Classical Planning as QBF without Grounding. Proceedings of the International Conference on Automated Planning and Scheduling, [S. l.], v. 32, n. 1, p. 329-337, 2022. DOI: 10.1609/icaps.v32i1.19817. Disponível em: https://ojs.aaai.org/index.php/ICAPS/article/view/19817. Acesso em: 19 apr. 2024.