A Declarative Language for Constraint Systems: Theory and Practice of Constraint Handling Rules (1998)

by T Fruhwirth
Venue:Computer Science Institute, LMU Munich