@inproceedings{
    JNS09:lpnmr,
    editor = "Erdem, Esra and Lin, Fangzhen and Schaub, Torsten",
    author = {Janhunen, Tomi and Niemel{\"a}, Ilkka and Sevalnev, Mark},
    publisher = "Springer-Verlag",
    responsibleauthor = "Janhunen, Tomi",
    title = "Computing Stable Models via Reductions to Difference Logic",
    url = "http://dx.doi.org/10.1007/978-3-642-04238-6_14",
    series = "Lecture Notes in Computer Science",
    booktitle = "Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning",
    address = "Potsdam, Germany",
    corerank = "A",
    month = "September",
    volume = "5753",
    flags = "MCM",
    year = "2009",
    impactfactor = "D3",
    pages = "142--154"
}