Constraint Handling Rules door Thom Fruhwirth & Thom Frâ¸Hwirth