@InProceedings{DiGuardiaLaurentTortoraVaux25,
  author    = {Di Guardia, R{\'e}mi and Olivier Laurent and Tortora de Falco, Lorenzo and Vaux Auclair, Lionel},
  title     = {Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic},
  booktitle = {International Conference on Formal Structures for Computation and Deduction (FSCD)},
  editor    = {Maribel Fern\'{a}ndez},
  volume    = {337},
  series    = {Leibniz International Proceedings in Informatics (LIPIcs)},
  pages     = {16:1--16:18},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik},
  month     = jul,
  year      = {2025},
  doi       = {10.4230/LIPIcs.FSCD.2025.16}
}