Strong Normalization of Typeable Rewrite Systems (1994)

by S van Bakel, M Fernández
Venue:In Proceedings of HOA ’93. First International Workshop on Higher Order Algebra, Logic and Term Rewriting