The Complexity of LTL on Finite Traces: Hard and Easy Fragments.

Valeria Fionda, Gianluigi Greco

Browse the full AAAI paper archive.