Guard Simplification in CHR programs (2004)

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