Generalised Constraint Propagation over the clp Scheme (1993)

by Thierry Le Provost, Mark Wallace
Venue:Journal of Logic Programming