The refined operational semantics of Constraint Handling Rules. (2004)

by Gregory J Duck, Peter J Stuckey, Maria J Garcıa de la Banda, Christian Holzbaur
Venue:In Bart Demoen and Vladimir Lifschitz, editors, Logic Programming, 20th International Conference, ICLP 2004,