ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION