The qed manifesto (1994)

by R e a Boyer
Venue:In Automated Deduction–CADE 12