A. S. Çevik, “One dimension higher of the word problem”, Math. Scand., vol. 95, no. 2, pp. 161–170, Dec. 2004.