Basic Principles of Mechanical Theorem Proving in Elementary Geometries.

Wu Wen-Tsün Basic Principles of Mechanical Theorem Proving in Elementary Geometries. 221-252 1986 2 J. Autom. Reasoning 3 db/journals/jar/jar2.html#Wen-Tsun86