Herman Geuvers, Tonny Hurkens: Proof Terms for Generalized Natural Deduction. TYPES 2017: 3:1-3:39