Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator

D. Cantone , Alfredo Ferro , Jacob T. Schwartz