Bondecka-Krzykowska, I. (1999). Computer Proofs and the Epistemological Status of Mathematical Theorems. The Philosophy of Science, 7(3-4), 103–116. Retrieved from https://www.fn.uw.edu.pl/index.php/fn/article/view/234