Term rewriting and the word problem for certain infinite presentations of groups. - Roger Eric Needham (1992)