Jean Jourdan Thierry Sola The Versatility of Handling Disjunctions as Constraints. 60-74 1993 conf/plilp/1993 PLILP db/conf/plilp/plilp93.html#JourdanS93