B. Woltzenlogel-Paleo, G. Reis: "Epsilon Terms in Intuitionistic Sequent Calculus"; in: "Workshop on Hilbert's Epsilon and Tau in Logic, Informatics and Linguistics", Springer International Publishing, 2015, 1 - 4.