Constraint Handling Rules : Current Research Topics - Tom Schrijvers, Thom Frühwirth ((Lecture Notes in Computer Science))