Normalisation Results for Typeable Rewrite Systems (1997)

by S van Bakel, M Fernández
Venue:Information and Computation