Modularity of simple termination of term rewriting systems (1990)

by Masahito Kurihara, Azuma Ohuchi
Venue:Journal of IPS, Japan