@article{
    JNSSY06:acmtocl,
    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://doi.acm.org/10.1145/1119439.1119440",
    journal = "ACM Transactions on Computational Logic",
    number = "1",
    month = "January",
    volume = "7",
    flags = "SA-53695",
    year = "2006",
    pages = "1--37"
}