@misc{indiciae80bee8bbc14a,
  title = {Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version)},
  author = {Luca Geatti and Alessio Mansutti and Angelo Montanari},
  year = {2024},
  url = {https://arxiv.org/abs/2401.09860},
  note = {Source identifier: 2401.09860}
}