Gilles Barthe Benjamin Grégoire Colin Riba A Tutorial on Type-Based Termination. 100-152 2008 LerNet ALFA Summer School http://dx.doi.org/10.1007/978-3-642-03153-3_3 conf/lernet/2008 db/conf/lernet/lernet2008.html#BartheGR08