The following publications are possibly variants of this publication:
- 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: 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. V. Multilevel Syllogistic Extended by the General Union OperatorDomenico Cantone, Alfredo Ferro, Jacob T. Schwartz. jcss, 34(1):1-18, 1987.
- 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 Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map ConstructsDomenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo. cilc 2010: [doi]