On termination of the direct sum of term-rewriting systems (1987)

by M Rusinowitch
Venue:Information Processing Letters