1. Reasoning About Geometric Constraints;Arbab,1990
2. Constructing Three-Dimensional Geometric Objects Defined by Constraints;Brudelin,1986
3. Geometric Constraint Solving in R2 and R3;Hoffmann,1995
4. Algebraic Solution for Geometry from Dimensional Constraints;Owen,1991