Agostinelli, F. 2025. A Conflict-Driven Approach for Reaching Goals Specified with Negation as Failure. Proceedings of the International Symposium on Combinatorial Search. 18, 1 (Jul. 2025), 2-10. DOI:https://doi.org/10.1609/socs.v18i1.35970.