构造型几何定理及其机器证明系统
王东明;胡森
A MECHANICAL PROVING SYSTEM FOR CONSTRUCTIBLE THEOREMS IN ELEMENTARY GEOMETRY
WANG DONG-MING ;HU SEN
系统科学与数学 . 1987, (2): 163 -172 .  DOI: 10.12341/jssms08795