Parallel Forward Reasoning for Mechanical Proving of Geometry Theorem
Pan Bin Guo Hong-xia
Journal of South China University of Technology (Natural Science Edition) . 2008, (4): 93 -97 .