MARTÍNEZ, J. C. Demostració automàtica. Butlletí de la Societat Catalana de Matemàtiques, [S. l.], v. 15, n. 1, p. 55–70, 2001. Disponível em: https://revistes.iec.cat/index.php/BSCM/article/view/17990.001. Acesso em: 6 may. 2024.