Matthias Baaz Rosalie Iemhoff Gentzen Calculi for the Existence Predicate. 7-23 2006 82 Studia Logica 1 http://dx.doi.org/10.1007/s11225-006-6603-6 db/journals/sLogica/sLogica82.html#BaazI06