Bendix
A surname.
Proper noun
A surname.
Derived
Knuth-Bendix completion algorithm