Unfolding partiality and disjunctions in stable model semantics (2000)

by T Janhunen, I Niemela, P Simons, J-H You
Venue:In Proceedings of KR’00