| |
| 1988 | ||
|---|---|---|
| 2 | Domenico Cantone, Susanna Ghelfo, Eugenio G. Omodeo: The Automation of Syllogistic I. Syllogistic Normal Forms. J. Symb. Comput. 6(1): 83-98 (1988) | |
| 1985 | ||
| 1 | Susanna Ghelfo, Eugenio G. Omodeo: Towards Practical Implementations of Syllogistic. European Conference on Computer Algebra (2) 1985: 40-49 | |
| 1 | Domenico Cantone | [2] |
| 2 | Eugenio G. Omodeo | [1] [2] |