TY  - RPRT
TI  - Graphical Proof Theory I: Sequent Systems on Undirected Graphs
AU  - Matteo Acclavio
PY  - 2024
UR  - https://arxiv.org/abs/2305.12975
ID  - 2305.12975
ER  -