Kyu-Yeul Lee, O-Hwan Kwon, Jae-Yeol Lee, and Tae-Wan Kim, A Hybrid Approach to Geometric Constraint Solving with Graph Analysis and Reduction, Advances in Engineering Software (SCI Expanded), Vol. 34, No 2, pp. 103-113, February 2003.