Ashutosh Rege John F. Canny A Practical Algorithm for Geometric Theorem Proving. 10-17 1994 conf/aisc/1994 AISMC db/conf/aisc/aismc1994.html#RegeC94