Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP