中国科学院数学与系统科学研究院期刊网
几何定理机器证明的WE完全方法
张景中;杨路;侯晓荣
WE COMPLETE ALGORITHM FOR AUTOMATED THEOREM PROVING
ZHANG JING-ZHONG;YANG LU;HOU XIAO-RONG
系统科学与数学 . 1995, (3): 200 -207 .  DOI: 10.12341/jssms09147