A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory.

Domenico Cantone Calogero G. Zarba A New Fast Tableau-Based Decision Procedure for an Unquantified Fragment of Set Theory. 126-136 http://link.springer.de/link/service/series/0558/bibs/1761/17610126.htm 1998 conf/ftp/1998 FTP (LNCS Selection) db/conf/ftp/ftp-lncs1998.html#CantoneZ98