TY  - RPRT
TI  - Unfolding Partiality and Disjunctions in Stable Model Semantics
AU  - T. Janhunen
AU  - I. Niemela
AU  - D. Seipel
AU  - P. Simons
AU  - J. You
PY  - 2004
UR  - https://arxiv.org/abs/cs/0303009
ID  - cs/0303009
ER  -