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