PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction. - Thomas A. Henzinger; Hubert Hofbauer (ÖGAI, 1985)