Term rewriting theory for the primitive recursive functions
scientific article; zbMATH DE number 986678
scientific article