J.H.: Unfolding Partiality and Disjunctions in Stable Model Semantics (2006)

by T Janhunen, I Niemelä, D Seipel, P Simons, You
Venue:ACM Transactions on Computational Logic