Automated termination analysis for Haskell: From term rewriting to programming languages (2006)

by J Giesl, S Swiderski, P Schneider-Kamp, R Thiemann
Venue:In RTA ’06, LNCS 4098