Eugene C. Freuder Paul D. Hubbe A Disjunctive Decomposition Constraint Schema for Constraint Satisfaction. 70-79 1993 PPCP db/conf/ppcp/ppcp93.html#FreuderH93