@misc{indiciaef52ba4f97fba,
  title = {Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)},
  author = {Christoph Wernhard and Wolfgang Bibel},
  year = {2021},
  doi = {10.1007/978-3-030-79876-5\_4},
  url = {https://arxiv.org/abs/2104.13645},
  note = {Source identifier: 2104.13645}
}