Xiao-Shan Gao Gui-Fang Zhang Geometric constraint solving via C-tree decomposition. 45-55 2003 conf/sma/2003 Symposium on Solid Modeling and Applications http://doi.acm.org/10.1145/781606.781617 db/conf/sma/sma2003.html#GaoZ03