On the complexity of the word problem for finitely presented commutative semigroups. Popov, V.Yu. (2002) Sibirskij Matematicheskij Zhurnal