@InProceedings{	  GieseAhrendt99,
  author	= {Martin Giese and Wolfgang Ahrendt},
  title		= {Hilbert's {$\epsilon$}-terms in
		   {A}utomated {T}heorem {P}roving},
  booktitle	= {Automated Reasoning with Analytic Tableaux 
                   and Related Methods, Intl. Conf. (TABLEAUX'99)},
  editor        = {Neil V. Murray},
  series        = {LNAI},
  volume        = {1617},
  publisher     = {Springer},
  pages		= {171-185},
  year		= {1999}
}