Matthew C. Chedister
Papers:
86
The Proof Process from Start to Finish