Gabriel Ebner, Matthias Schlaipfer. Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs. In Boris Konev, Josef Urban, Philipp Rümmer, editors, Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, July 19th, 2018. Volume 2162 of CEUR Workshop Proceedings, pages 17-33, CEUR-WS.org, 2018. [doi]
Abstract is missing.