The Refined Operational Semantics of Constraint Handling Rules (0)

by G J Duck, P J Stuckey, de la Banda, M G, C Holzbaur
Venue:In Proceedings of the 20th International Conference on Logic Programming, B. Demoen and V. Lifschitz, Eds. in CHR 11 Frühwirth, T. 1998. Theory and Practice of Constraint Handling Rules, Special Issue on Constraint Logic Programming. Journal of Logic Prog