A compositional semantics for CHR

Maurizio Gabbrielli, Maria Chiara Meo. A compositional semantics for CHR. ACM Trans. Comput. Log., 10(2), 2009. [doi]

Abstract

Abstract is missing.