@misc{indiciaec31a01171766,
  title = {Introducing Proof Tree Automata and Proof Tree Graphs},
  author = {Valentin D. Richard},
  year = {2022},
  url = {https://arxiv.org/abs/2206.06294},
  note = {Source identifier: 2206.06294}
}