Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems | Publicación