Knuth–Bendix completion

Redirect to:

• Knuth–Bendix completion algorithm