1. S. Ait-Aoudia, R. Jegou, and D. Michelucci. Reduction of constraint systems. In Compugraphic, pages 83–92, Alvor, Portugal, 1993. Also available at http://www.emse.fr/micheluc/ .
2. A. Aho, J. Hoperoft, and J. Ullman. Data Structures and Algorithms. Addison-Wesley Publishing Company, Reading, Mass., 1983.
3. R. Anderl and R. Mendgen. Parametric design ands its impact on solid modeling applications. In Proceedings of the Symposium on Solid Modeling Foundations and CAD/CAM Applications, pages 1–12, 1995.
4. W. Bouma, I. Fudos, C. Hoffmann, J. Cai, and R. Paige. Geometric constraint solver. Computer-Aided Design, 27 (6): 487–501, 1995.
5. B. Brüderlin. Using prolog for constructing geometric objects defined by constraints. In European Conference on Computer Algebra, pages 448–459, 1985.