Constraint Handling Rules (1994)

by T W Frühwirth
Venue:In Constraint Programming, A. Podelski, Ed. Lecture Notes in Computer Science