30 citations · 30 across the 1 of their papers we have counts for
1 paper
Hariolf Betz, Frank Raiser, Thom Frühwirth
We observe that the various formulations of the operational semantics of Constraint Handling Rules proposed over the years fall into a spectrum ranging from the analytical to the p…