De Giacomo, G.; De Masellis, R.; Montali, M. Reasoning on LTL on Finite Traces: Insensitivity to Infiniteness. AAAI 2014, 28.