A. J. J. Dick An Introduction to Knuth-Bendix Completion. 2-15 1991 34 Comput. J. 1 db/journals/cj/cj34.html#Dick91