@misc{indiciae85da502137fc,
  title = {On the confluence of lambda-calculus with conditional rewriting},
  author = {Frédéric Blanqui and Claude Kirchner and Colin Riba},
  year = {2011},
  doi = {10.1016/j.tcs.2009.07.058},
  url = {https://arxiv.org/abs/1109.4353},
  note = {Source identifier: 1109.4353}
}