A new approach to termination analysis of Constraint Handling Rules
Dean Voets, Danny De Schreye, Paolo Pilozzi · Lirias · 2007
Constraint Handling Rules (CHR) is a concurrent, committed-choice constraint programming language (see [2]). It is a rule-based language, in which multisets of atomic constraints are rewritten using guarded rules. It has a simple syntax and declarative semantics, and is very suitable for implementing constraint solvers.