[C159] Artale A., Geatti L., Gigante N., Mazzullo A., and Montanari A., "Complexity of Safety and coSafety Fragments of Linear Temporal Logic", Proceedings of the     37th AAAI Conference on Artificial Intelligence (AAAI), AAAI Press, Washington, USA, February 2023.


[J82] Cimatti A., Geatti L., Gigante N., Montanari A., and Tonetta S., "GR(1) is equivalent to R(1)",     Infor- mation Processing Letters, Volume 179: 106319, January 2023 (doi: 10.1016/j.ipl.2022.106319).