3 ms·Thank you very much. I checked Wikipedia for Knuth-Bendix and will try to get hold on the book.by coolio222 9y agoThank you very much. I checked Wikipedia for Knuth-Bendix and will try to get hold on the book.