The Refined Operational Semantics of Constraint Handling Rules (2004)

by G Duck, P Stuckey, M Banda, C Holzbaur
Venue:In Proc of the 20th International Conference on Logic Programming. LNCS 3132