AGOSTINELLI, F. A Conflict-Driven Approach for Reaching Goals Specified with Negation as Failure. Proceedings of the International Symposium on Combinatorial Search, [S. l.], v. 18, n. 1, p. 2-10, 2025. DOI: 10.1609/socs.v18i1.35970. Disponível em: https://ojs.aaai.org/index.php/SOCS/article/view/35970. Acesso em: 5 may. 2026.