The Complexity of Propositional Linear (1985)

by A P Sistla, E M Clarke
Venue:Temporal Logic, J. ACM