Yoshihito Toyama. Fast Knuth-Bendix Completion with a Term Rewriting System Compiler. Inf. Process. Lett., 32(6):325-328, 1989.
@article{Toyama89, title = {Fast Knuth-Bendix Completion with a Term Rewriting System Compiler}, author = {Yoshihito Toyama}, year = {1989}, tags = {term rewriting, graph-rewriting, compiler, rewriting}, researchr = {https://researchr.org/publication/Toyama89}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {32}, number = {6}, pages = {325-328}, }