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