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

by J Sneyers, T Schrijvers, B Demoen
Venue:In Second Workshop on Constraint Handling Rules, at ICLP05