Comments on: Automated termination proofs for haskell by term rewriting

Comments on: Automated termination proofs for haskell by term rewriting http://www.algosyn.rwth-aachen.de/wp-publications/gieslraffelsieperschneider-kampswiderskithiemann2011/ hourly 1 http://wordpress.org/?v=3.6.1