Theory and practice of constraint handling rules (1998)

by T W Frühwirth
Venue:Journal of Logic Programming