Marco Correia Pedro Barahona Type Parametric Compilation of Algebraic Constraints. 201-212 2009 EPIA http://dx.doi.org/10.1007/978-3-642-04686-5_17 conf/epia/2009 db/conf/epia/epia2009.html#CorreiaB09