The Complexity of Propositional Linear Temporal Logics (1982)

by A P Sistla, E M Clarke
Venue:Ninth Annual ACM Symposium on Principles of Programming Languages