Theory and practice of Constraint Handling Rules (1998)

by Thom Früwirth
Venue:Journal of Logic Programming