E. Allen Emerson, Joseph Y. Halpern
Decision Procedures and Expressiveness in the Temporal Logic of Branching Time
STOC, 1982.
@inproceedings{STOC-1982-EmersonH, author = "E. Allen Emerson and Joseph Y. Halpern", booktitle = "{Proceedings of the 14th Annual ACM Symposium on Theory of Computing}", doi = "10.1145/800070.802190", isbn = "0-89791-067-2", pages = "169--180", publisher = "{ACM}", title = "{Decision Procedures and Expressiveness in the Temporal Logic of Branching Time}", year = 1982, }