The Computer Journal 28(5) 1985
(1985)
The Computer Journal
Paulson, LC (1985)
Paulson, LC "Lessons learned from LCF: a survey of natural deduction proofs" pp474-479