Domenico Cantone Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators. 193-230 1991 7 J. Autom. Reasoning 2 db/journals/jar/jar7.html#Cantone91