中国科学院数学与系统科学研究院期刊网
A MECHANICAL PROVING SYSTEM FOR CONSTRUCTIBLE THEOREMS IN ELEMENTARY GEOMETRY
WANG DONG-MING ;HU SEN
Journal of Systems Science and Mathematical Sciences . 1987, (2): 163 -172 .  DOI: 10.12341/jssms08795