Gregory J. Duck Peter J. Stuckey Maria J. García de la Banda Christian Holzbaur Extending arbitrary solvers with constraint handling rules. 79-90 2003 conf/ppdp/2003 PPDP http://doi.acm.org/10.1145/888251.888260 db/conf/ppdp/ppdp2003.html#DuckSBH03