Andreas Abel Type-based termination of generic programs. 550-567 2009 74 Sci. Comput. Program. 8 http://dx.doi.org/10.1016/j.scico.2008.01.004 db/journals/scp/scp74.html#Abel09