@inproceedings{FSCD2022,
  author        = {Acclavio, Matteo and Horne, Ross and Mauw, Sjouke and Stra{\ss}burger, Lutz},
  title         = {{A Graphical Proof Theory of Logical Time}},
  booktitle     = {7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022)},
  pages         = {22:1--22:25},
  series        = {Leibniz International Proceedings in Informatics (LIPIcs)},
  year          = {2022},
  volume        = {228},
  editor        = {Felty, Amy P.},
  publisher     = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address       = {Dagstuhl, Germany},
  doi           = {10.4230/LIPIcs.FSCD.2022.22}
}