Unfolding in CHR. - Paolo Tacchella; Maurizio Gabbrielli; Maria Chiara Meo (PPDP, 2007)

Constraint handling rules. Compositional semantics and program transformation. - Paolo Tacchella (2008)

A Compositional Semantics for CHR with Propagation Rules. - Maurizio Gabbrielli; Maria Chiara Meo; Paolo Tacchella (Constraint Handling Rules, 2008)

Unfolding for CHR programs. - Maurizio Gabbrielli; Maria Chiara Meo; Paolo Tacchella; Herbert Wiklicky (Theory Pract. Log. Program., 2015)