MU-TERM: A Tool for Proving Termination of Context-Sensitive Rewriting (2004)

by S Lucas
Venue:Proc. of 15h International Conference on Rewriting Techniques and Applications, RTA’04, LNCS 3091:200-209