38 citations · 119 across the 20 of their papers we have counts for
1 paper · 1 filter
Maurizio Gabbrielli, Maria Chiara Meo
Constraint Handling Rules (CHR) are a committed-choice declarative language which has been designed for writing constraint solvers. A CHR program consists of multi-headed guarded r…