K
[KP95] Yonit Kesten and Amir Pnueli. A Complete Proof Systems for QPTL. In LICS'95, pages 2-12. IEEE Comp. Soc. Press, June 1995. 
@inproceedings{lics1995-KeP,
  author =              {Kesten, Yonit and Pnueli, Amir},
  title =               {A Complete Proof Systems for {QPTL}},
  booktitle =           {{P}roceedings of the 10th {A}nnual {S}ymposium on
                         {L}ogic in {C}omputer {S}cience ({LICS}'95)},
  acronym =             {{LICS}'95},
  publisher =           {IEEE Comp. Soc. Press},
  pages =               {2-12},
  year =                {1995},
  month =               jun,
}
List of authors