The crisis in finite mathematics: Automated reasoning as cause and cure

Slaney, J. (1994). The crisis in finite mathematics: Automated reasoning as cause and cure. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 814 LNAI, pp. 1–13). Springer Verlag. https://doi.org/10.1007/3-540-58156-1_1