Unified Analytical Foundation for Constraint Handling Rules | lit.salon