A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint).

Martin Gebser, Enrico Giunchiglia, Marco Maratea, Marco Mochi

Browse the full AAAI paper archive.