Infinitary Combinatory Reduction Systems: Confluence (Logical Methods in Computer Science, 2009)