Mat. Sb. (N.S.), 1953 Volume 32(74), Number 1,Pages 97–108(Mi sm5299)
On the application of the sieve method to the solution of the word problem for certain groups with a denumerable set of generating elements and a denumerable set of defining relations