The qed manifesto (1994)

by Anonymous
Venue:Proceedings of the 12th International Conference on Automated Deduction, number 814 in LNAI