@article{LMCS22,
  title         = {An Analytic Propositional Proof System on Graphs},
  author        = {Matteo Acclavio and Ross Horne and Lutz Stra{\ss}burger},
  year          = {2022},
  journal       = {Logical Methods in Computer Science},
  volume        = {18},
  number        = {4},
  pages         = {1:1–1:80},
  url           = {https://arxiv.org/abs/2012.01102},
  doi           = {10.46298/LMCS-18(4:1)2022}
}