Agostinelli, Forest. “A Conflict-Driven Approach for Reaching Goals Specified With Negation As Failure”. Proceedings of the International Symposium on Combinatorial Search 18, no. 1 (July 20, 2025): 2-10. Accessed May 5, 2026. https://ojs.aaai.org/index.php/SOCS/article/view/35970.