@misc{indiciaea64126bb8d3d,
  title = {Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule, and a Correction},
  author = {Nils Kürbis},
  year = {2023},
  doi = {10.1007/s00153-021-00775-6},
  url = {https://arxiv.org/abs/2108.03939},
  note = {Source identifier: 2108.03939}
}