On a connection between the word problem and decidability of the equational theory. Popov, V.Yu. (2000) Siberian Mathematical Journal