Unfolding partiality and disjunctions in stable model semantics (2006)

by T Janhunen, I Niemelä, D Seipel, P Simons, J-H You
Venue:ACM Trans. Comput. Log