Knuth–Bendix algorithm

Redirect to:

• Knuth–Bendix completion algorithm