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