Decision Procedures for Elementary Sublanguages of set Theory. XIV. Three Languages Involving Rank Related Constructs

D. Cantone , Cutello Cutello , A Ferro