A variety with solvable, but not uniformly solvable, word problem (1993)

by A H Mekler, E Nelson, S Shelah
Venue:Proc. London Math. Soc