On the church-rosser property for the direct sum of term rewriting systems (1987)

by Y Toyama
Venue:Journal of the ACM