Ferro, Alfredo; Omodeo, Eugenio G.; Schwartz, Jacob T. (September 1980), «Procedimientos de decisión para sublenguajes elementales de la teoría de conjuntos. I. Silogismo multinivel y algunas extensiones», Communications on Pure and Applied Mathematics33 (5): 599-608, doi:10.1002/cpa.3160330503.