The following publications are possibly variants of this publication:
- Decision Procedures for Elementary Sublanguages of Set TheoryDomenico Cantone, Vincenzo Cutello. JAR, 6(2):189-201, 1990.
- Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map ConstructsDomenico Cantone, Jacob T. Schwartz. JAR, 7(2):231-256, 1991.
- Decision procedures for elementary sublanguages of set theory, XVI, Multilevel syllogistic extended by singleton, rank comparison and unary intersectionDomenico Cantone, Vincenzo Cutello. eatcs, 39:139-148, 1989.
- A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative FunctionsDomenico Cantone, Jacob T. Schwartz, Calogero G. Zarba. ENTCS, 86(1):49-60, 2003. [doi]
- Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset OperatorsDomenico Cantone. JAR, 7(2):193-230, 1991.
- Decision Procedures for Elementary Sublanguages of Set Theory: XII. Multilevel Syllogistic Extended with Singleton and Choice OperatorsAlfredo Ferro. JAR, 7(2):257-270, 1991.
- Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union OperatorDomenico Cantone, Alfredo Ferro, Jacob T. Schwartz. jcss, 34(1):1-18, 1987.
- A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions, I: The Two-Level CaseCalogero G. Zarba, Domenico Cantone, Jacob T. Schwartz. JAR, 33(3-4):251-269, 2004. [doi]