Ohcanbohtosat - Knuth-Bendix completion algorithm
Ozuin - Knuth-Bendix completion algorithm - eai gávdnon bohtosat.
Sáhtát oažžut lasi bohtosiid go hábmet iežat ohcama.
- Seđđon ohcamiin sáhttet gávdnot ohcanbohtosat, main leat seammasullasaš sánit: Knuth-Bendix completion algorithm~.
- Joker-mearkkaid geavahemiin sáhtát gávdnat earálágán sátnehámiid: Knuth-Bendix completion algorithm*.