ON THE WORD PROBLEM IN PERIODIC GROUP VARIETIES
Mark Valentinovich Sapir · International Journal of Algebra and Computation · 1991
It is shown that there is a finitely based periodic group variety with unsolvable word problem. This uses the solution by Novikov and Adian of the Burnside problem and solves a subsequent problem raised by Adian and Makanin.