Martínez, J. C. “Demostració automàtica”. Butlletí De La Societat Catalana De Matemàtiques, vol. 15, no. 1, June 2001, pp. 55-70, https://revistes.iec.cat/index.php/BSCM/article/view/17990.001.