Martínez, J. C. (2001). Demostració automàtica. Butlletí De La Societat Catalana De Matemàtiques, 15(1), 55–70. Retrieved from https://revistes.iec.cat/index.php/BSCM/article/view/17990.001