@INPROCEEDINGS{jtnr-adg00,
    AUTHOR={Jermann, C. and Trombettoni, G. and Neveu, B. and Rueher, M.},
    TITLE={A New Heuristic To Identify Rigid Clusters},
    Booktitle={Automated Deduction in Geometry (ADG 2000)},
    YEAR={2000},
    Pages={2-6}
}