Integrating finite domain constraints and CLP with sets.

Alessandro Dal Palù Agostino Dovier Enrico Pontelli Gianfranco Rossi Integrating finite domain constraints and CLP with sets. 219-229 2003 conf/ppdp/2003 PPDP http://doi.acm.org/10.1145/888251.888272 db/conf/ppdp/ppdp2003.html#PaluDPR03