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