@inproceedings{RISC231,
author = {F. Winkler and B. Buchberger},
title = {{A Criterion for Eliminating Unnecessary Reductions in the Knuth-Bendix Algorithm}},
booktitle = {{Proceedings of Algebra and Logic in Computer Science, Gyor, Hungary}},
language = {english},
series = {Colloquia Mathematica Societatis Janos Bolyai},
volume = {42},
pages = {849--869},
publisher = {North Holland},
isbn_issn = {ISBN-10: 0444986952; ISBN-13: 978-0444986955},
year = {1986},
month = {September},
annote = {1983-09-00-A},
editor = {J. Demetrovics and G. Katona and A. Salomaa},
refereed = {yes},
length = {21}
}