Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems (extended version) | Publicación