author = {F. Winkler},
title = {{Reducing the Complexity of the Knuth-Bendix Completion Algorithm: A "Unification" of Different Approaches}},
booktitle = {{European Conference on Computer Algebra (EUROCAL'85)}},
language = {english},
pages = {378--389},
publisher = {Springer Berlin},
isbn_issn = {ISBN 978-3-540-15983-4},
year = {1985},
month = {October},
editor = {B. Buchberger},
refereed = {yes},
length = {11}