Perpetuality and uniform normalization in orthogonal rewrite systems
scientific article; zbMATH DE number 1853148
scientific article