K
[Kup95] Orna Kupferman. Augmenting Branching Temporal Logics with Existential Quantification over Atomic Propositions. In CAV'95, Lecture Notes in Computer Science 939, pages 325-338. Springer-Verlag, July 1995. 
@inproceedings{cav1995-Kup,
  author =              {Kupferman, Orna},
  title =               {Augmenting Branching Temporal Logics with
                         Existential Quantification over Atomic Propositions},
  editor =              {Wolper, Pierre},
  booktitle =           {{P}roceedings of the 7th {I}nternational
                         {C}onference on {C}omputer {A}ided {V}erification
                         ({CAV}'95)},
  acronym =             {{CAV}'95},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {939},
  pages =               {325-338},
  year =                {1995},
  month =               jul,
  doi =                 {10.1007/3-540-60045-0_60},
}
List of authors