Computing Stable Models via Reductions to Difference Logic

Reference:

Tomi Janhunen, Ilkka Niemelä, and Mark Sevalnev. Computing stable models via reductions to difference logic. In Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009, volume 5753 of Lecture Notes in Computer Science, pages 142–154, 2009.

Suggested BibTeX entry:

@inproceedings{JNS:LPNMR2009,
    author = {Tomi Janhunen and Ilkka Niemel{\"a} and Mark Sevalnev},
    booktitle = {Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2009},
    pages = {142--154},
    series = {Lecture Notes in Computer Science},
    title = {Computing Stable Models via Reductions to Difference Logic},
    volume = {5753},
    year = {2009},
}