Proving termination of integer term rewriting (2009)

by C Fuhs, J Giesl, M Plücker, P Schneider-Kamp, S Falke
Venue:In Proc. RTA ’09. LNCS