Michael Kalkbrener A Generalized Euclidean Algorithm for Geometry Theorem Proving. 73-96 1995 13 Ann. Math. Artif. Intell. 1-2 db/journals/amai/amai13.html#Kalkbrener95