Proving Set-Theoretic Formulae by a Tableaux Method. - Domenico Cantone; Rosa Ruggeri Cannata (ICLP Workshop on Logic Programming with Sets, 1993)

A Tableau-Based Decision Procedure for a Fragment of Set Theory with Iterated Membership. - Domenico Cantone; Calogero G. Zarba; Rosa Ruggeri Cannata (J. Autom. Reason., 2005)