Reinhard Bündgen. Simulation Buchberger s Algorithm by Knuth-Bendix Completion. In Ronald V. Book, editor, International Conference on Rewriting Techniques and Applications. Volume 488 of Lecture Notes in Computer Science, pages 386-397, Springer, Como, Italy, 1991.
@inproceedings{Bundgen91,
title = {Simulation Buchberger s Algorithm by Knuth-Bendix Completion},
author = {Reinhard Bündgen},
year = {1991},
researchr = {https://researchr.org/publication/Bundgen91},
cites = {0},
citedby = {0},
pages = {386-397},
booktitle = {Rewriting Techniques and Applications},
editor = {Ronald V. Book},
volume = {488},
series = {Lecture Notes in Computer Science},
address = {Como, Italy},
publisher = {Springer},
isbn = {3-540-53904-2},
}