TY  - RPRT
TI  - Introducing Proof Tree Automata and Proof Tree Graphs
AU  - Valentin D. Richard
PY  - 2022
UR  - https://arxiv.org/abs/2206.06294
ID  - 2206.06294
ER  -