Decision Procedures and Expressiveness in the Temporal Logic of Branching Time (1982)

by E A Emerson, J Y Halpern
Venue:Proceedings of the Fourteenth Annual ACM Symposium on Theory of Computing