Buchberger’s algorithm: A constraintbased completion procedure (1994)

by L Bachmair, H Ganzinger
Venue:in First International Conference Constraints in Computational Logics, ser. Lecture Notes in Computer Science