An automata-theoretic approach to branching-time model checking (1994)

by O Bernholtz, M Vardi, P Wolper
Venue:6th International Conference on Computer Aided Verification, CAV’94