Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems.

Luca Geatti, Alessio Mansutti, Angelo Montanari

Browse the full FOSSACS paper archive.