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. CoRR: cs.AI/0303009 v2, January 2004. Submitted for publication.

Suggested BibTeX entry:

@misc{JNSSY04:submitted,
    author = {Tomi Janhunen and Ilkka Niemel{\"a} and Dietmar Seipel and Patrik Simons and Jia-Huai You},
    howpublished = {CoRR: cs.AI/0303009 v2},
    month = {January},
    note = {Submitted for publication},
    title = {Unfolding Partiality and Disjunctions in Stable Model Semantics},
    year = {2004},
}