Stable Models and Difference Logic

Reference:

Ilkka Niemelä. Stable models and difference logic. In Proceedings of the Tenth International Symposium on Artificial Intelligence and Mathematics, page 5 p., 2008. The proceedings available at http://isaim2008.unl.edu/index.php?page=proceedings.

Suggested BibTeX entry:

@inproceedings{Niemela:ISAIM08,
    author = {Ilkka Niemel{\"a}},
    booktitle = {Proceedings of the Tenth International Symposium on Artificial Intelligence and Mathematics},
    note = {The proceedings available at \url{http://isaim2008.unl.edu/index.php?page=proceedings}},
    pages = {5 p.},
    title = {Stable Models and Difference Logic},
    year = {2008},
}