Claus-Peter Wirth: A New Indefinite Semantics for Hilbert's Epsilon. TABLEAUX 2002: 298-314