A Mechanical Proof Procedure and its Realization in an Electronic Computer. - Dag Prawitz; Haåkan Prawitz; Neri Voghera (J. ACM, 1960)