Thank you very much. I checked Wikipedia for Knuth-Bendix and will try to get hold on the book.