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