Proving innermost termination automatically (1997)

by T Arts, J Giesl
Venue:In Proceedings Rewriting Techniques and Applications RTA'97