Martínez, J. C. Demostració automàtica. Butll. Soc. Catalana de Mat. 2001, 15, 55-70.