Proceedings of the 5th Workshop on Constraint Handling Rules (CHR 2008)

Tom Schrijvers, Frank Raiser, and Thom Frühwirth. Proceedings of the 5th Workshop on Constraint Handling Rules (CHR 2008). 2008, number 08-10 in RISC-Linz Report Series. Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Technical Report