TY - RPRT TI - A compositional Semantics for CHR AU - Maurizio Gabbrielli AU - Maria Chiara Meo PY - 2006 UR - https://arxiv.org/abs/cs/0603079 ID - cs/0603079 ER -