On proving term rewriting systems are noetherian (1979)

by D S Lankford