Domenico Cantone Eugenio G. Omodeo Alberto Policriti The Automation of Syllogistic. 173-187 1990 6 J. Autom. Reasoning 2 db/journals/jar/jar6.html#CantoneOP90