Basic Features and Development of the Critical-Pair/Completion Procedure.

Bruno Buchberger Basic Features and Development of the Critical-Pair/Completion Procedure. 1-45 1985 conf/rta/1985 RTA db/conf/rta/rta85.html#Buchberger85 http://dx.doi.org/10.1007/3-540-15976-2_1