Deciding branchingtime logic (1984)

by E A Emerson, A P Sistla
Venue:Proc. ACM STOC