Termination of Term Rewriting { well-foundedness, totality and transformations (1995)

by M C F Ferreira