Martínez JC. Demostració automàtica. Butll. Soc. Catalana de Mat. [Internet]. 8 de junio de 2001 [citado 1 de julio de 2024];15(1):55-70. Disponible en: https://revistes.iec.cat/index.php/BSCM/article/view/17990.001