@misc{indiciaef65ff5a9d449,
  title = {A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems},
  author = {Ludovico Fusco and Alessandro Aldini},
  year = {2025},
  url = {https://arxiv.org/abs/2512.03164},
  note = {Source identifier: 2512.03164}
}