几何定理机器证明的并行前向推理
潘斌 郭红霞
Parallel Forward Reasoning for Mechanical Proving of Geometry Theorem
Pan Bin Guo Hong-xia
华南理工大学学报(自然科学版) . 2008, (4): 93 -97 .