Deciding Full Branching Time Logic (1984)

by E Emerson, A Sistla
Venue:Information and Control