@misc{indiciae90f476f6543e,
  title = {Infinitary Combinatory Reduction Systems: Confluence},
  author = {Jeroen Ketema and Jakob Grue Simonsen},
  year = {2009},
  doi = {10.2168/lmcs-5(4:3)2009},
  url = {https://arxiv.org/abs/0910.4081},
  note = {Source identifier: 0910.4081}
}