Theory and practice of constraint handling rules, (1998)

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