History and basic feature of the critical-pair/completion procedure (1987)

by B Buchberger
Venue:J. Symbolic Computation