@misc{indiciaec4294a5b2fc3,
  title = {Investigations into Proof Structures},
  author = {Christoph Wernhard and Wolfgang Bibel},
  year = {2024},
  doi = {10.1007/s10817-024-09711-8},
  url = {https://arxiv.org/abs/2304.12827},
  note = {Source identifier: 2304.12827}
}