Valeria Fionda, Gianluigi Greco: The Complexity of LTL on Finite Traces: Hard and Easy Fragments. AAAI 2016: 971-977