Proving Innermost Normalization Automatically (1997)

by J Giesl T Arts
Venue:LNCS 1232 (RTA