Normalization results for typeable rewrite systems
scientific article; zbMATH DE number 1022242
scientific article