Stable models and difference logic
scientific article; zbMATH DE number 5576029