A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification.

Domenico Cantone, Calogero G. Zarba

Browse the full TABLEAUX paper archive.