@article{
    Niemela:AMAI2008,
    author = {Niemel{\"a}, Ilkka},
    responsibleauthor = {Niemel{\"a}, Ilkka},
    title = "Stable Models and Difference Logic",
    url = "http://dx.doi.org/10.1007/s10472-009-9118-9",
    journal = "Annals of Mathematics and Artificial Intelligence",
    number = "1--4",
    volume = "53",
    flags = "MCM public",
    year = "2008",
    impactfactor = "A",
    pages = "313--329"
}