On proving term rewriting systems are Noetherian (1979)

by D Lankford