An introduction to Wu’s method for mechanical theorem proving in geometry (1988)

by S C Chou
Venue:Journal of Automated Reasoning