K
[KG96] Orna Kupferman and Orna Grumberg. Branching Time Temporal Logic and Tree Automata. Information and Computation 125(1):62-69. Academic Press, February 1996. 
@article{icomp125(1)-KG,
  author =              {Kupferman, Orna and Grumberg, Orna},
  title =               {Branching Time Temporal Logic and Tree Automata},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {125},
  number =              {1},
  pages =               {62-69},
  year =                {1996},
  month =               feb,
}
List of authors