D. Holt and S. Rees, 
Solving the word problem in real time (22 pages)
    Submitted to J. London Math. Soc.