Stable Models and Difference Logic

Reference:

Ilkka Niemelä. Stable models and difference logic. Annals of Mathematics and Artificial Intelligence, 53(1–4):313–329, 2008.

Suggested BibTeX entry:

@article{Niemela:AMAI2008,
    author = {Ilkka Niemel{\"a}},
    journal = {Annals of Mathematics and Artificial Intelligence},
    number = {1--4},
    pages = {313--329},
    title = {Stable Models and Difference Logic},
    volume = {53},
    year = {2008},
}