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