Unfolding Partiality and Disjunctions in Stable Model Semantics (2004)
[BibTex]