P
[PBD+02] Anindya C. Patthak, Indrajit Bhattacharya, Anirban Dasgupta, Pallab Dasgupta et P. P. Chakrabarti. Quantified Computation Tree Logic. Information Processing Letters 82(3):123-129. Elsevier, 2002. 
@article{ipl82(3)-PBDDC,
  author =              {Patthak, Anindya C. and Bhattacharya, Indrajit and
                         Dasgupta, Anirban and Dasgupta, Pallab and
                         Chakrabarti, P. P.},
  title =               {Quantified Computation Tree Logic},
  publisher =           {Elsevier},
  journal =             {Information Processing Letters},
  volume =              {82},
  number =              {3},
  pages =               {123-129},
  year =                {2002},
}
Liste des auteurs