Unfolding Partiality and Disjunctions in Stable Model Semantics

Reference:

Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, and Jia-Huai You. Unfolding partiality and disjunctions in stable model semantics. ACM Transactions on Computational Logic, 7(1):1–37, January 2006.

Suggested BibTeX entry:

@article{JNSSY06:acmtocl,
    author = {Tomi Janhunen and Ilkka Niemel{\"a} and Dietmar Seipel and Patrik Simons and Jia-Huai You},
    journal = {ACM Transactions on Computational Logic},
    month = {January},
    number = {1},
    pages = {1--37},
    title = {Unfolding Partiality and Disjunctions in Stable Model Semantics},
    volume = {7},
    year = {2006},
}