Deciding Full Branching Time Logic (1984)

by E A Emerson, A P Sistla
Venue:Information and Control