Automated termination proofs with AProVE. (2004)

by J Giesl, R Thiemann, P Schneider-Kamp, S Falke
Venue:In Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA-04),