An improved rewriting-number algorithm

From MaRDI portal