@misc{
    JNSSY03:corr,
    author = {Janhunen, Tomi and Niemel{\"a}, Ilkka and Seipel, Dietmar and Simons, Patrik and You, Jia-Huai},
    title = "Unfolding Partiality and Disjunctions in Stable Model Semantics",
    url = "http://arxiv.org/abs/cs.AI/0303009",
    note = "To appear in ACM Transactions on Computational Logic",
    flags = "SA-53695",
    year = "2003",
    howpublished = "http://arxiv.org/abs/cs.AI/0303009"
}