See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/221342795 A Tableau Calculus for Quantifier-Free Set Theoretic Formulae Conference Paper · May 1998 DOI: 10.1007/3-540-69778-0_16 · Source: DBLP CITATIONS 9 READS 25 2 authors, including: Bernhard Beckert Karlsruhe Institute of Technology 167 PUBLICATIONS 2,107 CITATIONS SEE PROFILE All content following this page was uploaded by Bernhard Beckert on 07 January 2017. The user has requested enhancement of the downloaded file. All in-text references underlined in blue are added to the original document and are linked to publications on ResearchGate, letting you access and read them immediately.