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

by S Lucas
Venue:In Proc. of RTA’04, LNCS 3091:200-209