SPECK, D.; MATTMÜLLER, R.; NEBEL, B. Symbolic Top-k Planning. Proceedings of the AAAI Conference on Artificial Intelligence, [S. l.], v. 34, n. 06, p. 9967-9974, 2020. DOI: 10.1609/aaai.v34i06.6552. Disponível em: https://ojs.aaai.org/index.php/AAAI/article/view/6552. Acesso em: 26 feb. 2024.