Martínez, J.C. 2001. Demostració automàtica. Butlletí de la Societat Catalana de Matemàtiques. 15, 1 (Jun. 2001), 55–70.