@inproceedings{
    JNS:LPNMR2009_ini,
    author = {Janhunen, Tomi and Niemel{\"a}, Ilkka and Sevalnev, Mark},
    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, LPNMR 2009",
    volume = "5753",
    flags = "MCM copy",
    year = "2009",
    internalpdf = "JNS-LPNMR2009.pdf",
    pages = "142--154"
}

AUTHORS:

URL:
http://dx.doi.org/10.1007/978-3-642-04238-6_14

INTERNAL PDF:
http://research.ics.aalto.fi/publications/bibdb2012/internal_pdfs/JNS-LPNMR2009.pdf

AUTHORS:

URL: http://dx.doi.org/10.1007/978-3-642-04238-6_14

INTERNAL PDF: http://research.ics.aalto.fi/publications/bibdb2012/internal_pdfs/JNS-LPNMR2009.pdf

URL:
http://dx.doi.org/10.1007/978-3-642-04238-6_14

INTERNAL PDF:
http://research.ics.aalto.fi/publications/bibdb2012/internal_pdfs/JNS-LPNMR2009.pdf