"Decision Procedures for Some Fragments of Set Theory."

Alfredo Ferro, Eugenio G. Omodeo, Jacob T. Schwartz (1980)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics