Domenico Cantone Jacob T. Schwartz Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs. 231-256 1991 7 J. Autom. Reasoning 2 db/journals/jar/jar7.html#CantoneS91