Hariolf Betz

• Unified Analytical Foundation for Constraint Handling Rules