Unfolding Partiality and Disjunctions in Stable Model Semantics (2004)
Janhunen Tomi , Niemelä Ilkka , Seipel Dietmar , Simons Patrik , You Jia-Huai