De Giacomo, Giuseppe, Riccardo De Masellis, and Marco Montali. 2014. “Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness”. Proceedings of the AAAI Conference on Artificial Intelligence 28 (1). https://doi.org/10.1609/aaai.v28i1.8872.