Unfolding Partiality and Disjunctions in Stable Model Semantics (2004)

AUTHORS:

Janhunen Tomi , Niemelä Ilkka , Seipel Dietmar , Simons Patrik , You Jia-Huai

URL:
http://xxx.lanl.gov/abs/cs.AI/0303009