Ebner, G., & Schlaipfer, M. (2018). Efficient translation of sequent calculus proofs into natural deduction proofs. In 6th Workshop on Practical Aspects of Automated Reasoning (PAAR) ; Konev, Boris; Urban, Josef; Rümmer, Philipp. CEUR. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-3703