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