@misc{indiciaed017fc5f43f2,
  title = {Confluence of Conditional Term Rewrite Systems via Transformations},
  author = {Karl Gmeiner},
  year = {2017},
  doi = {10.4204/eptcs.235.3},
  url = {https://arxiv.org/abs/1701.00638},
  note = {Source identifier: 1701.00638}
}