The computational power and complexity of Constraint Handling Rules (2009)

by J Sneyers, T Schrijvers, B Demoen
Venue:ACM TOPLAS