Generalised Constraint Propagation Over the CLP Scheme (1993)

by T Le Provost, M Wallace
Venue:Journal of Logic Programming