B. Kutzler, Sabine Stifter. Automated geometry theorem proving using Buchberger's algorithm. In Bruce W. Char, editor, SYMSAC 1986, Proceedings of the Symposium on Symbolic and Algebraic Manipulation, Waterloo, Ontario, Canada, July 21-23, 1986. pages 209-214, ACM, 1986. [doi]
Abstract is missing.