Leo Bachmair, Harald Ganzinger. Buchberger s Algorithm: A Constraint-Based Completion Procedure. In Jean-Pierre Jouannaud, editor, Constraints in Computational Logics, First International Conference, CCL 94, Munich, Germant, September 7-9, 1994. Volume 845 of Lecture Notes in Computer Science, pages 285-301, Springer, 1994.
No references recorded for this publication.
No citations of this publication recorded.