J. C. Martínez, “Demostració automàtica”, Butll. Soc. Catalana de Mat., vol. 15, no. 1, pp. 55–70, Jun. 2001.