On the Church-Rosser property for the direct sum of term rewriting systems (1987)

by Yoshihito Toyama
Venue:Journal of the ACM