@inproceedings{DBLP:conf/lics/AcclavioHS20,
  author        = {Matteo Acclavio and Ross Horne and Lutz Stra{\ss}burger},
  editor        = {Holger Hermanns and Lijun Zhang and Naoki Kobayashi and Dale Miller},
  title         = {Logic Beyond Formulas: {A} Proof System on Graphs},
  booktitle     = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
  pages         = {38--52},
  publisher     = {{ACM}},
  year          = {2020},
  url           = {https://doi.org/10.1145/3373718.3394763},
  doi           = {10.1145/3373718.3394763},
  timestamp     = {Tue, 02 Jun 2020 16:40:58 +0200},
  biburl        = {https://dblp.org/rec/conf/lics/AcclavioHS20.bib},
  bibsource     = {dblp computer science bibliography, https://dblp.org}
}