A Rule-Constructive Geometric Constraint Solver. - R. Juan-Arinyo; Toni Soto (UNIF, 1995)