@article{
    Niemela:AMAI2008_ini,
    author = {Niemel{\"a}, Ilkka},
    volume = "53",
    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",
    responsibleauthor = {Niemel{\"a}, Ilkka},
    flags = "MCM public",
    year = "2008",
    impactfactor = "A",
    pages = "313--329"
}

AUTHORS:

URL:
http://dx.doi.org/10.1007/s10472-009-9118-9

AUTHORS:

URL: http://dx.doi.org/10.1007/s10472-009-9118-9

URL:
http://dx.doi.org/10.1007/s10472-009-9118-9