Simulating Buchberger's algorithm by Knuth-Bendix completion (1991)

by R Bundgen
Venue:RTA `91, LNCS# 488