[fr] Complétion de Knuth-Bendix

[ja] クヌース・ベンディックス完備化アルゴリズム