@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}
}