Title: Unified Analytical Foundation for Constraint Handling Rules