Arch Douglas Robison: An Improved Rewriting-Number Algorithm. BIT 30(1): 51-61 (1990)