@InProceedings{ BeckertHartmer98,
author = {Bernhard Beckert and Ulrike Hartmer},
title = {A Tableau Calculus for Quantifier-free Set Theoretic
Formulae},
booktitle = {International Conference on Theorem Proving with
Analytic Tableaux and Related Methods ({TABLEAUX} '98)},
venue = {Oisterwijk, The Netherlands},
publisher = {Springer},
series = {LNCS},
volume = {1397},
pages = {93--107},
year = {1998}
}