Gebser, Martin, Enrico Giunchiglia, Marco Maratea, and Marco Mochi. 2026. “A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint)”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (47):39865-65. https://doi.org/10.1609/aaai.v40i47.41380.