K
[KVW00] Orna Kupferman, Moshe Y. Vardi, and Pierre Wolper. An Automata-Theoretic Approach to Branching-Time Model-Checking. Journal of the ACM 47(2):312-360. ACM Press, March 2000. 
@article{jacm47(2)-KVW,
  author =              {Kupferman, Orna and Vardi, Moshe Y. and Wolper,
                         Pierre},
  title =               {An Automata-Theoretic Approach to Branching-Time
                         Model-Checking},
  publisher =           {ACM Press},
  journal =             {Journal of the~ACM},
  volume =              {47},
  number =              {2},
  pages =               {312-360},
  year =                {2000},
  month =               mar,
}
List of authors