Martínez JC. Demostració automàtica. Butll. Soc. Catalana de Mat. [Internet]. 2001 Jun. 8 [cited 2024 May 6];15(1):55-70. Available from: https://revistes.iec.cat/index.php/BSCM/article/view/17990.001