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

by T Fruehwirth