Martínez, J. C. (2001) “Demostració automàtica”, Butlletí de la Societat Catalana de Matemàtiques, 15(1), pp. 55–70. Available at: https://revistes.iec.cat/index.php/BSCM/article/view/17990.001 (Accessed: 6 May 2024).