Modular term rewriting systems and the termination (1990)

by M Kurihara, I Kaji
Venue:Information Processing Letters