New decision algorithms for finitely presented commutative semigroups
finitely presented commutative semigroups
completion procedure for commutative associative term rewriting systems
scientific article; zbMATH DE number 3702960
scientific article