XueFeng Chen, DingKang Wang. The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction. In Franz Winkler, editor, Automated Deduction in Geometry, 4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers. Volume 2930 of Lecture Notes in Computer Science, pages 21-30, Springer, 2002. [doi]
Abstract is missing.