Rybakovand Shkatov. On Complexity of Propositional Linear-time Temporal Logic with Finitely Many Variables. 15 June 2017.