Jeremy Dick John Kalmus Ursula Martin Automating the Knuth Bendix Ordering. 95-119 1990 28 Acta Inf. 2 db/journals/acta/acta28.html#DickKM90