@INPROCEEDINGS{Beckert93a,
AUTHOR = {Bernhard Beckert},
TITLE = {A Completion-Based Method for Adding Equality to
Free Variable Semantic Tableaux},
BOOKTITLE = {2nd Workshop on Theorem Proving with
Analytic Tableaux and Related Methods ({TABLEAUX} '93)},
PLACE = {Marseille, France},
ADDRESS = {Max-Planck-Institut f\"{u}r Informatik,
Saarbr\"{u}cken, MPI-I-92-213},
EDITOR = {D. Basin and R. H\"{a}hnle and B. Fronh\"{o}fer and
J. Posegga and C. Schwind},
PAGES = {19--22},
MONTH = mar,
YEAR = {1993}
}