J. C. Martínez, «Demostració automàtica», Butll. Soc. Catalana de Mat., vol. 15, n.º 1, pp. 55–70, jun. 2001.