An Algorithm for the word problem in HNN extensions and the dependence of its complexity on the group representation - Madlener, K. (1979)