Thierry Le Provost Mark Wallace Generalized Constraint Propagation over the CLP Scheme. 319-359 1993 16 J. Log. Program. 3 db/journals/jlp/jlp16.html#ProvostW93