Knuth-Bendix completion algorithm

1. REDIRECT Knuth–Bendix completion algorithm

{{R from modification}}