A. Artale, L. Geatti, N. Gigante, A. Mazzullo, and A. Montanari, “Complexity of Safety and coSafety Fragments of Linear Temporal Logic”, AAAI, vol. 37, no. 5, pp. 6236-6244, Jun. 2023.