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