Susanna Ghelfo Eugenio G. Omodeo Towards Practical Implementations of Syllogistic. 40-49 1985 conf/eurocal/1985-2 European Conference on Computer Algebra (2) db/conf/eurocal/eurocal1985-2.html#GhelfoO85