The Computational Power and Complexity of Constraint Handling Rules (2005)

by Jon Sneyers, Tom Schrijvers, Bart Demoen
Venue:In Second Workshop on Constraint Handling Rules, at ICLP05