30 citations · 31 across the 3 of their papers we have counts for
1 paper · 1 filter
Hariolf Betz, Thom W. Frühwirth
Constraint Handling Rules (CHR) is a declarative committed-choice programming language with a strong relationship to linear logic. Its generalization CHR with Disjunction (CHRv) is…