Comparisons and computation of well-founded semantics for disjunctive logic programs

Kewen Wang, Lizhu Zhou. Comparisons and computation of well-founded semantics for disjunctive logic programs. ACM Trans. Comput. Log., 6(2):295-327, 2005. [doi]

Abstract

Abstract is missing.