Silvia Ghilezan, Viktor Kuncak, and Silvia Likavec. Reducibility method for termination properties of typed lambda terms. In Fifth International Workshop on Termination, Utrecht, The Netherlands, May 2001.

[ bib ] Back