A declarative language for constraint systems:Theory and practice of constraint handling rules (1998)

by T Fruhwirth
Venue:Journal of Logic Programming