1. Aho, A. V., Hopcroft, J. E., and Ullman, J. D., Data Structures and Algorithms, Addison-Wesley, Reading, Mass. (1983).
2. Breban, M., Ferro, A., Omodeo, E. G., and Schwartz, J. T., ?Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions?, Comm. Pure App. Math. 34, 177?195 (1981).
3. Cantone, D., ?A decision procedure for a class of unquantified formulae of set theory involving the powerset and singleton operators?, PhD Thesis, New York Univ.-GSAS, Courant Institute of Mathematical Sciences, New York (1987).
4. Cantone, D., Ghelfo, S., and Omodeo, E. G., ?The automation of syllogistic. I. Syllogistic normal forms?, J. Symbol. Comp. 61(1); 83?98 (1988).
5. Ghelfo, S. and Omodeo, E. G., ?Towards practical implementations of syllogistic?, in EUROCAL '85, European Conf. on Computer Algebra-Proceedings, Vol. 2, pp. 40?48, Springer-Verlag (1985).