@inproceedings{b56e0ffde4d44caea6c9b7e672bf6832,
title = "Knuth-Bendix Procedure and Buchberger Algorithm - A Synthesis",
author = "A. Kandri-Rody and Franz Winkler and D. Kapur",
year = "1989",
month = jul,
day = "17",
doi = "10.1145/74540.74548",
language = "English",
series = "Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC",
pages = "55--67",
editor = "\{G.H. Gonnet\}",
booktitle = "International Symposium on Symbolic and Algebraic computation 89, Portland, Oregon",
}