@inproceedings{
    JNSY00:kr,
    editor = "Cohn, Anthony and Giunchiglia, Fausto and Selman, Bart",
    author = {Janhunen, Tomi and Niemel{\"a}, Ilkka and Simons, Patrik and You, Jia-Huai},
    publisher = "Morgan Kaufmann",
    title = "Unfolding Partiality and Disjunctions in Stable Model Semantics",
    url = "http://www.tcs.hut.fi/~ttj/publications/",
    booktitle = "Principles of Knowledge Representation and Reasoning: Proceedings of the 7th International Conference",
    address = "Breckenridge, Colorado",
    month = "April",
    year = "2000",
    pages = "411--419"
}