@INPROCEEDINGS{jnt-adg02,
    AUTHOR={Jermann, C. and Neveu, B. and Trombettoni, G.},
    TITLE={A New Structural Rigidity for Geometric Constraint Systems},
    BOOKTITLE={$4^{th}$ International Workshop on Automated Deduction in Geometry (ADG 2002)},
    YEAR={2004}
    Volume={2930},
    Series={LNCS},
    Editor={Winkler, F.},
    Pages={87-106}
}