@INPROCEEDINGS{BeckertHaehnle92,
AUTHOR = {Bernhard Beckert and Reiner H\"{a}hnle},
BOOKTITLE = {11th International Conference on
Automated Deduction ({CADE-11})},
PLACE = {Saratoga Springs, NY, USA},
EDITOR = {D. Kapur},
PAGES = {507--521},
PUBLISHER = {Springer},
SERIES = {LNCS},
VOLUME = {607},
TITLE = {An Improved Method for Adding Equality to
Free Variable Semantic Tableaux},
YEAR = {1992}
}