A Tableau Calculus for Quantifier-Free Set Theoretic Formulae.

Bernhard Beckert, Ulrike Hartmer

Browse the full TABLEAUX paper archive.