Richard Allen Jeanne Idt Laurent Trilling Constraint Based Automatic Construction and Manipulation of Geometric Figures. 453-459 1993 IJCAI db/conf/ijcai/ijcai93.html#AllenIT93