The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction. - XueFeng Chen; DingKang Wang (Automated Deduction in Geometry, 2002)

Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases. - XueFeng Chen; Peng Li; Long Lin; DingKang Wang (Automated Deduction in Geometry, 2004)