Georg Moser Richard Zach The Epsilon Calculus and Herbrand Complexity. 133-155 2006 82 Studia Logica 1 http://dx.doi.org/10.1007/s11225-006-6610-7 db/journals/sLogica/sLogica82.html#MoserZ06