A Hybrid Method for Solving Geometric Constraint Problems. - Xiao-Shan Gao; Lei-Dong Huang; Kun Jiang (Automated Deduction in Geometry, 2000)

Geometric constraint solving with geometric transformation. - Xiao-Shan Gao; Lei-Dong Huang; Kun Jiang (Sci. China Ser. F Inf. Sci., 2001)