Vol-3716⫷ Vol-3717 ⫸Vol-3718
urn:nbn:de:0074-3717-0


Vol-3717/short2⫷Vol-3717/paper2⫸Vol-3717/paper3
Julie CaillerSimon Guilloud

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus