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 Esra Erdem, Fangzhen Lin, and Torsten Schaub, editors, Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 5753 of Lecture Notes in Computer Science, pages 142–154, Potsdam, Germany, September 2009. Springer-Verlag.

Suggested BibTeX entry:

@inproceedings{JNS09:lpnmr,
    address = {Potsdam, Germany},
    author = {Tomi Janhunen and Ilkka Niemel{\"a} and Mark Sevalnev},
    booktitle = {Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning},
    editor = {Esra Erdem and Fangzhen Lin and Torsten Schaub},
    month = {September},
    pages = {142--154},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    title = {Computing Stable Models via Reductions to Difference Logic},
    volume = {5753},
    year = {2009},
}