B.: Guard simplification in CHR programs (2005)

by J Sneyers, T Schrijvers, Demoen
Venue:In: Proceedings of the 19th Workshop on (Constraint) Logic Programming, WCLP’05