A Bender's approach to disjunctive programming James C. Bean.