Towards Practical Implementations of Syllogistic. - Susanna Ghelfo; Eugenio G. Omodeo (European Conference on Computer Algebra (2), 1985)

The Automation of Syllogistic I. Syllogistic Normal Forms. - Domenico Cantone; Susanna Ghelfo; Eugenio G. Omodeo (J. Symb. Comput., 1988)