G. Ebner, M. Schlaipfer: "Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs"; in: "PAAR 2018 Practical Aspects of Automated Reasoning", 2162; University of Liverpool, UK, 2018, 17 - 33.