Domenico Cantone Alfredo Ferro Jacob T. Schwartz Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator. 1-18 1987 34 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss34.html#CantoneFS87