Vol-2161⫷ Vol-2162 ⫸Vol-2163
urn:nbn:de:0074-2162-0


Vol-2162/paper-02⫷Vol-2162/paper-03⫸Vol-2162/paper-04
Gabriel EbnerMatthias Schlaipfer

Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs