Xiao-Shan Gao Christoph M. Hoffmann Wei-Qiang Yang Solving spatial basic geometric constraint configurations with locus intersection. 95-104 2002 Symposium on Solid Modeling and Applications http://doi.acm.org/10.1145/566282.566299 db/conf/sma/sma2002.html#GaoHY02