Rewriting Systems and the Knuth-Bendix Completion Process