Value constraints in the CLP scheme - Van Emden, M. H. (Centrum voor Wiskunde en Informatica, 1996)