Proving innermost normalization automatically (1996)

by T Arts, J Giesl