Domenico Cantone, Rosa Ruggeri Cannata. Proving Set-Theoretic Formulae by a Tableaux Method. In Eugenio G. Omodeo, Gianfranco Rossi, editors, Workshop on Logic Programming with Sets, in conjunction with ICLP 1993, Budapest, Hungary, June 24, 1993. 1993.
Abstract is missing.