Matthias Fuchs: Proofs as Schemas and Their Heuristic Use. J. Symb. Comput. 30(1): 37-61 (2000)