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

by J Giesl, S Swiderski, P Schneider-Kamp, R Thiemann
Venue:in: Term Rewriting and Applications, 17th International Conference, RTA 2006, Proceedings, in: LNCS