G. Vargas Guillén, “Automation of aristotelian syllogistic. Logical and phenomenological foundations of the automaton ‘Syllogismos’”, Estud.filos, no. 26, pp. 323–337, Jul. 2002.