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), pp. 2–10. doi: 10.1609/socs.v18i1.35970.