Operational equivalence of CHR programs and constraints (1999)

by S Abdennadher, T W Frühwirth
Venue:In Principles and Practice of Constraint Programming. LectureNotesin Computer Science