Rewriting systems and word problems in a free partially commutative monoid
scientific article; zbMATH DE number 4049094
scientific article