Unified Analytical Foundation for Constraint Handling Rules

de Hariolf Betz, Thom Fruhwirth, Uwe Schoning