@article{ebc3824ad6a4480eb1697a20ad83be44,
title = "Unfolding Partiality and Disjunctions in Stable Model Semantics",
keywords = "answer set programming, disjunctive stable models, inference engine, minimal models, partial models, quantified Boolean formulas, answer set programming, disjunctive stable models, inference engine, minimal models, partial models, quantified Boolean formulas, answer set programming, disjunctive stable models, inference engine, minimal models, partial models, quantified Boolean formulas",
author = "Tomi Janhunen and Ilkka Niemel{\"a} and Dietmar Seipel and Patrik Simons and Jia-Huai You",
year = "2006",
doi = "10.1145/1119439.1119440",
language = "English",
volume = "7",
pages = "1--37",
journal = "ACM TRANSACTIONS ON COMPUTATIONAL LOGIC",
issn = "1529-3785",
publisher = "ACM",
number = "1",
}