Acclavio, et al.. An Analytic Propositional Proof System on Graphs. 4 Nov. 2021.