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

by J Giesl, S Swiderski, P Schneider-Kamp, R Thiemann
Venue:In Proc. 17th RTA, volume 4098 of LNCS