W.: Hilbert’s ε-terms in automated theorem proving (1999)

by M Giese, Ahrendt
Venue:Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX’99). LNCS