Murg term rewrite systems
scientific article; zbMATH DE number 5719195