Verifying the Equivalence of Logic Programs in the Disjunctive Case