Proving termination for term rewriting systems, Computer Science Logic (1991)

by A Weiermann
Venue:Lecture Notes in Comput. Sci