G. Vargas Guillén, “Aristotle and the automation of logic. A reading from artificial intelligence”, Estud.filos, no. 23, pp. 25–42, Jan. 2001.