![](/img/cover-not-exists.png)
A criterion for eliminating unnecessary reductions in the Knuth-Bendix algorithm
Winkler, F., Buchberger, B.Volume:
17
Language:
english
Journal:
ACM SIGSAM Bulletin
DOI:
10.1145/1089338.1089341
Date:
August, 1983
File:
PDF, 72 KB
english, 1983