Theory and practice of Constraint Handling Rules (1998)

by T Frühwirth
Venue:J. Logic Programming, Special Issue on Constraint Logic Programming