@article{investigationsintoproofstructures,
  title = {Investigations into Proof Structures},
  author = {Christoph Wernhard and Wolfgang Bibel},
  year = {2023},
  eprint = {2304.12827},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2304.12827v3},
}