K
[KP02] Yonit Kesten and Amir Pnueli. Complete Proof System for QPTL. Journal of Logic and Computation 12(5):701-745. Oxford University Press, October 2002. 
@article{jlc12(5)-KP,
  author =              {Kesten, Yonit and Pnueli, Amir},
  title =               {Complete Proof System for~{QPTL}},
  publisher =           {Oxford University Press},
  journal =             {Journal of Logic and Computation},
  volume =              {12},
  number =              {5},
  pages =               {701-745},
  year =                {2002},
  month =               oct,
  doi =                 {10.1093/logcom/12.5.701},
}
List of authors