@inproceedings{LICS2020,
  title         = {Logic Beyond Formulas: A Graphical Proof System},
  author        = {Matteo Acclavio and Ross Horne and Lutz Stra{\ss}burger},
  year          = {2020},
  booktitle     = {35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS ’20), July 8–11, 2020, Saarbr{\"u}cken, Germany},
  doi           = {https://doi.org/10.1145/3373718.3394763},
  pages         = {15},
  publisher     = {ACM},
  url           = {https://satoss.uni.lu/members/ross/pdf/LBF.pdf}
}