Unfolding Partiality and Disjunctions in Stable Model Semantics

Reference:

Tomi Janhunen, Ilkka Niemelä, Patrik Simons, and Jia-Huai You. Unfolding partiality and disjunctions in stable model semantics. In A.G. Cohn, F. Guinchiglia, and B. Selman, editors, Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning, pages 411–419, Breckenridge, Colorado, USA, April 2000. Morgan Kaufmann Publishers.

Suggested BibTeX entry:

@inproceedings{JNSY2000:kr,
    address = {Breckenridge, Colorado, USA},
    author = {Tomi Janhunen and Ilkka Niemel{\"a} and Patrik Simons and Jia-Huai You},
    booktitle = {Proceedings of the Seventh International Conference on Principles of Knowledge Representation and Reasoning},
    editor = {A.G. Cohn and F. Guinchiglia and B. Selman},
    month = {April},
    pages = {411--419},
    publisher = {Morgan Kaufmann Publishers},
    title = {Unfolding Partiality and Disjunctions in Stable Model Semantics},
    year = {2000},
}