Guard Simplification in CHR programs

Jon Sneyers, Tom Schrijvers, Bart Demoen. Guard Simplification in CHR programs. In Armin Wolf, Thom W. Frühwirth, Marc Meister, editors, 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005. Volume 2005-01 of Ulmer Informatik-Berichte, pages 123-134, Universität Ulm, Germany, 2005.

No reviews for this publication, yet.