Xiao-Shan Gao Qiang Lin Gui-Fang Zhang A C-tree decomposition algorithm for 2D and 3D geometric constraint solving. 1-13 2006 38 Computer-Aided Design 1 http://dx.doi.org/10.1016/j.cad.2005.03.002 db/journals/cad/cad38.html#GaoLZ06