@misc{indiciae55686974034a,
  title = {Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs},
  author = {Henning Christiansen and Maja Kirkeby},
  year = {2018},
  url = {https://arxiv.org/abs/1808.08094},
  note = {Source identifier: 1808.08094}
}