Gebser, M.; Giunchiglia, E.; Maratea, M.; Mochi, M. A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint). AAAI 2026, 40, 39865-39865.