Domenico Cantone Susanna Ghelfo Eugenio G. Omodeo The Automation of Syllogistic I. Syllogistic Normal Forms. 83-98 1988 6 J. Symb. Comput. 1 db/journals/jsc/jsc6.html#CantoneGO88