M. Gebser, E. Giunchiglia, M. Maratea, and M. Mochi, “A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint)”, AAAI, vol. 40, no. 47, pp. 39865–39865, Mar. 2026.