Unfolding Partiality and Disjunctions in Stable Model Semantics.

Tomi Janhunen, Ilkka Niemel, Patrik Simons, Jia-Huai You

Browse the full KR paper archive.