@inproceedings{Beckert94b,
   author        = {Bernhard Beckert},
   title         = {Adding Equality to Semantic Tableaux},
   booktitle     = {3rd Workshop on Theorem Proving with
                    Analytic Tableaux and Related Methods ({TABLEAUX} '94)},
   vneue         = {Abingdon, Oxford, {UK}},
   pages         = {29--41},
   address       = {Imperial College, London, TR-94/5},
   editor        = {K. Broda and M. D'Agostino and R. Gor\'{e} and
                    R. Johnson and S. Reeves},
   year          = {1994}
}