The Crisis in Finite Mathematics: Automated Reasoning as Curse and Cure (1994)

by J Slaney
Venue:12th Conference onAutomated Deduction