@inproceedings{Beckert94c,
   author        = {Bernhard Beckert},
   title         = {Using {$E$}-Unification to Handle Equality in
		    Universal Formula Semantic Tableaux},
   booktitle     = {Theory Reasoning in Automated Deduction,
                    Workshop at {CADE-12}},
   venue         = {Nancy, France},
   editor        = {P. Baumgartner and H.-J. B\"{u}rckert and H. Comon and
                    A. Frisch and U. Furbach and N. Murray and U. Petermann
                    and M. Stickel},
   year          = {1994}
}