History

for article: Knuth–Bendix completion algorithm