Logic Beyond Formulas: A Proof System on Graphs.

Matteo Acclavio, Ross Horne, Lutz Straburger

Browse the full LICS paper archive.