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

by Michaël Rusinowitch
Venue:Information Processing Letters