Agostinelli, Forest. 2025. “A Conflict-Driven Approach for Reaching Goals Specified With Negation As Failure”. Proceedings of the International Symposium on Combinatorial Search 18 (1):2-10. https://doi.org/10.1609/socs.v18i1.35970.