Term Rewriting Systems: From Church-Rosser to Knuth-Bendix and Beyond