The complexity of propositional linear temporal logics in simple cases (1998)

by Schnoebelen
Venue:In Proc. of the 15th Annual Symposium on Theoretical Aspects of Computer Science, STACS’98, LNCS 1373, pages 61 – 72