TY - RPRT TI - Comparisons and Computation of Well-founded Semantics for Disjunctive Logic Programs AU - Kewen Wang AU - Lizhu Zhou PY - 2003 UR - https://arxiv.org/abs/cs/0301010 ID - cs/0301010 ER -