Vargas Guillén, G. Automation of Aristotelian Syllogistic. Logical and Phenomenological Foundations of the Automaton “Syllogismos.” Estud.filos 2002, 323-337.