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

by S-C Chou
Venue:Journal of Automated Reasoning