Hariolf Betz

Unified Analytical Foundation for Constraint Handling Rules