Comparisons and Computation of Well-founded Semantics for Disjunctive Logic Programs