Mechanical Geometry Theorem Proving (1988)

by S —Chou