@misc{indiciae2e2e7a4fad28,
  title = {Confluence Modulo Equivalence with Invariants in Constraint Handling Rules},
  author = {Daniel Gall and Thom Frühwirth},
  year = {2018},
  url = {https://arxiv.org/abs/1802.03381},
  note = {Source identifier: 1802.03381}
}