Decision Procedures for Some Fragments of Set Theory.

Alfredo Ferro, Eugenio G. Omodeo, Jacob T. Schwartz

Browse the full CADE paper archive.