Decision Procedures and Expressiveness in the Temporal Logic of Branching Time

E. Allen Emerson, Joseph Y. Halpern

Browse the full STOC paper archive.