Yoshihito Toyama On the Church-Rosser property for the direct sum of term rewriting systems. 128-143 1987 34 J. ACM 1 http://doi.acm.org/10.1145/7531.7534 db/journals/jacm/jacm34.html#Toyama87