@InProceedings{wirthhilbertepsilon,
  author     ={Claus-Peter Wirth},
  title      ={A New Indefinite Semantics for {H}ilbert's epsilon},
  booktitle  ={Automated Reasoning with Analytic Tableaus and Related Methods.
               International Conference, {TABLEAU} 2002},
  editor     ={Uwe Egly and Christian G. Ferm{\"u}ller},
  pages      ={298--314},
  year       ={2002},
  number     ={2381},
  series     ={Lecture Notes in Artificial Intelligence},
  publisher  ={Springer},
  note       ={{\url{www.ags.uni-sb.de/~cp/p/epsi/welcome.html}}},
  abstract   ={After reviewing the literature on semantics of 
Hilbert's epsilon symbol, we present a new one that is similar to 
the referential interpretation of indefinite articles in natural languages.}}