7 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Henning Christiansen, Maja H. Kirkeby
Previous results on proving confluence for Constraint Handling Rules are extended in two ways in order to allow a larger and more realistic class of CHR programs to be considered c…