Christophe Jermann Gilles Trombettoni Bertrand Neveu Pascal Mathis Decomposition of Geometric Constraint Systems: a Survey. 379-414 2006 16 Int. J. Comput. Geometry Appl. 5-6 http://dx.doi.org/10.1142/S0218195906002105 db/journals/ijcga/ijcga16.html#JermannTNM06