Universal Proof Theory: Semi-analytic Rules and Craig Interpolation

@misc{tabatabai2024universalprooftheory,
      title={Universal Proof Theory: Semi-analytic Rules and Craig Interpolation},
      author={Amirhossein Akbar Tabatabai and Raheleh Jalali},
      year={2024},
      eprint={1808.06256},
      archivePrefix={arXiv},
      primaryClass={cs.LO},
      url={https://arxiv.org/abs/1808.06256},
}