The Computational Power and Complexity of Constraint Handling Rules. - Sneyers, Jon; Schrijvers, Tom; Demoen, Bart (ACM Transactions on Programming Languages & Systems, 2009)