1. Realization of a geometry-theorem proving machine;Gelernter,1963
2. Mechanical Theorem Proving in Geometries;Wu,1994
3. Some recent advances in mechanical theorem proving of geometries;Wu,1984
4. Basic principles of mechanical theorem proving in geometries;Wu;Journal of Automated Reasoning,1986
5. Geometry theorems proved mechanically using Wuʼs method – Part on Euclidean geometry;Wang;MM Research Preprints,1987