Normalization results for typeable rewrite systems (1997)

by Steffen van Bakel, Maribel Fernández
Venue:Information and Computation