@inproceedings{cailler2024sc,
  title={SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus},
  author={Cailler, Julie and Guilloud, Simon},
  booktitle={9th Workshop on Practical Aspects of Automated Reasoning},
  year={2024}
}