with Arndt, M. , 2015, A cut-like inference in a framework of explicit composition for various calculi of natural deduction, in G. Lolli, M. Panza & G. Venturi (eds.), From logic to practice, Dordrecht, Springer, pp. 163-183.