@inproceedings{
    Niemela:ISAIM08,
    author = {Niemel{\"a}, Ilkka},
    title = "Stable Models and Difference Logic",
    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}",
    flags = "MCM",
    year = "2008",
    pages = "5 p."
}