Proving termination of contextsensitive rewriting with Mu–Term (2008)

by B Alarcón, R Gutiérrez, J Iborra, S Lucas
Venue:In 19th Int’l Conf. on Rewriting Techniques and Applications, RTA’08, LNCS 5117:1–16