Tomi Janhunen, Ilkka Niemelä, Dietmar Seipel, Patrik Simons, Jia-Huai You. Unfolding partiality and disjunctions in stable model semantics. ACM Trans. Comput. Log., 7(1):1-37, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.