The computational power and complexity of constraint handling rules (2009)

by Jon Sneyers, Tom Schrijvers, Bart Demoen
Venue:ACM Trans. Program. Lang. Syst