Kutzlcr B. and S. Sifter (1986) "Automate A Geometry Theorem Proving Using Buchberger's Algorithm", in Proceedings of the 1986 Symposium on Symbolic Algebraic Computation, pp 209-214.
author author author author author date title title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle pages pages