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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.