Jakob Grue Simonsen: On the Modularity of Confluence in Infinitary Term Rewriting. RTA 2004: 185-199