Bachmair, Leo Programming Logics, MPI for Informatics, Max Planck Society;
Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dto32 (Publisher version)
Bachmair, L., & Ganzinger, H. (1994). Buchberger's algorithm: a constraint-based completion procedure. In J.-P. Jouannaud (Ed.), Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94) (pp. 285-301). Berlin, Germany: Springer.