Vargas Guillén, G. Aristotle and the Automation of Logic. A Reading from Artificial Intelligence. Estud.filos 2001, 25-42.