Hilbert's epsilon-Terms in Automated Theorem Proving.

Martin Giese, Wolfgang Ahrendt

Browse the full TABLEAUX paper archive.