Compiling and Executing Disjunctions of Finite Domain Constraints.

Björn Carlson Mats Carlsson Compiling and Executing Disjunctions of Finite Domain Constraints. 117-131 1995 ICLP db/conf/iclp/iclp95.html#CarlsonC95