A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) | Proceedings of the AAAI Conference on Artificial Intelligence The Association for the Advancement of Artificial Intelligence