On finitely presented, cancellative and commutative ordered monoids
finitely presented commutative ordered monoid
scientific article; zbMATH DE number 5872614