1. Algebraic methods for geometric reasoning;Buchberger;Ann. Rev. Comput. Sci.,1988
2. A refutational approach to geometry theorem proving;Kapur,1989
3. Erep, an editable, high-level representation for geometric design and analysis;Hoffmann,1993
4. On the semantics of generative geometry representations;Hoffmann,1993