@misc{indiciaed5890f3cb692,
  title = {Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules},
  author = {Nils Kürbis},
  year = {2021},
  doi = {10.1007/s11229-021-03418-8},
  url = {https://arxiv.org/abs/2110.09921},
  note = {Source identifier: 2110.09921}
}