Theory and practice of constraint handling rules (1994)

by T Fruhwirth
Venue:J. LOGIC PROGRAMMING