The word problem in Hanoi Towers groups - I. Bondarenko (Algebra and discrete mathematics, 2014)