Roy B. Dean
Papers:
241
Geometric Proof: Finally, a Logical Approach