Guard Simplification in CHR programs (2005)

by Jon Sneyers, Tom Schrijvers, Bart Demoen
Venue:In Proceedings of the 19th Workshop on (Constraint) Logic Programming (W(C)LP’05