Rule based methods of GCS

\bibitem{arbab} F. Arbab \& B. Wang,
Reasoning About Geometric Constraints, 
{\it Intelligent CAD II}, 
H. Yoshikawa and T. Holden (eds), North-Holland, 93--107, 1990.

\bibitem{brud} B. Brudelin,
Constructing Three-Dimensional Geometric Objects Defined by
Constraints, in {\it Workshop on Interactive 3D Graphics}, 
p.111-129, ACM, 1986.

\bibitem{icad1}  
X. S. Gao and S. C. Chou, 
{ Solving Geometric Constraint Systems I. A Global Propagation
Approach}, {\it Computer Aided Design}, {\bf 30}(1), 47-54, 1998.

\bibitem{joan1}
R. Joan-Arinyo and A. Soto,
A Correct Rule-Based Geometric Constraint Solver,
{\it Comput. and Graphics}, {\bf 21}(5), 599-609, 1997.

\bibitem{joan2}
R. Joan-Arinyo and A. Soto,
Combining Constructive and Equational Geometric Constraint-Solving Techniques,
{\it ACM Trac. on Graphics}, {\bf 18}(1), 35-55, 1999.

\bibitem{steele} G. L. Steele \& G. L. Sussman,
CONSTRATNTS -- A Languahe for Expressing Almost-Hierarchical
Descriptions, {\it Artificial Intelligence}, p. 1-39, 1980.

\bibitem{sunde} G. Sunde,
Specification of Shape by Dimensions and Other Geometric Constraints,
in {\it Geometric Modeling for CAD Applications}, 
M. J. Wozny, et al eds, 199-213, North Holland, 1988.

\bibitem{velt} R. C. Veltkamp,
Geometric Constraint Management with Quanta,
{\it Intelligent Computer Aided Design},
D.C. Brown et al eds, 409--426, North-Holland, 1992.

\bibitem{verroust} A. Verroust, F. Schonek, and D. Roller,
Rule-oriented method for parametrized computer-aided design.
{\it Geometric Aided Design}, 24(3), p.531-540, October, 1992.