Deepak Kapur. Geometry theorem proving using Hilbert's Nullstellensatz. In Bruce W. Char, editor, SYMSAC 1986, Proceedings of the Symposium on Symbolic and Algebraic Manipulation, Waterloo, Ontario, Canada, July 21-23, 1986. pages 202-208, ACM, 1986. [doi]
Abstract is missing.