Shang-Ching Chou An Introduction to Wu's Method for Mechanical Theorem Proving in Geometry. 237-267 1988 4 J. Autom. Reasoning 3 db/journals/jar/jar4.html#Chou88