Martínez, Juan Carlos. 2001. “Demostració automàtica”. Butlletí De La Societat Catalana De Matemàtiques 15 (1):55-70. https://revistes.iec.cat/index.php/BSCM/article/view/17990.001.