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.

Authors

Jon Sneyers

This author has not been identified. It may be one of the following persons: Look up 'Jon Sneyers' in Google

Tom Schrijvers

Identified as Tom Schrijvers

Bart Demoen

This author has not been identified. Look up 'Bart Demoen' in Google