The Use of Machines to Assist in Rigorous Proof: Discussion Bird, R. S. ; Milner, R. Abstract Publication: Philosophical Transactions of the Royal Society of London Series A Pub Date: October 1984 Bibcode: 1984RSPTA.312..422B