Approximation and Normalization Results for Typeable Term Rewriting Systems (1996)

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