@misc{indiciaede6077b356d7,
  title = {Unfolding for CHR programs},
  author = {Maurizio Gabbrielli and Maria Chiara Meo and Paolo Tacchella and Herbert Wiklicky},
  year = {2013},
  doi = {10.1017/s1471068413000288},
  url = {https://arxiv.org/abs/1307.0679},
  note = {Source identifier: 1307.0679}
}