K
[Kup99] Orna Kupferman. Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions. Journal of Logic and Computation 9(2):135-147. Oxford University Press, April 1999. 
@article{jlc9(2)-Kup,
  author =              {Kupferman, Orna},
  title =               {Augmenting Branching Temporal Logics with
                         Existential Quantification over Atomic Propositions},
  publisher =           {Oxford University Press},
  journal =             {Journal of Logic and Computation},
  volume =              {9},
  number =              {2},
  pages =               {135-147},
  year =                {1999},
  month =               apr,
}
List of authors