C
[Coo04] Stephen A. Cook. Theories for Complexity Classes and their Propositional Translations. In Jan Krajíček (eds.), Complexity of computations and proofs, Quaderni di Matematica 13, pages 175-227. Dipartimento di Matematica, Seconda Universitá degli Studi di Napoli, Italy, 2004. 
@incollection{CCP2004-cook,
  author =              {Cook, Stephen A.},
  title =               {Theories for Complexity Classes and their
                         Propositional Translations},
  editor =              {Kraj{\'\i}{\v c}ek, Jan},
  booktitle =           {Complexity of computations and proofs},
  publisher =           {Dipartimento di Matematica, Seconda Universit{\'a}
                         degli Studi di Napoli, Italy},
  series =              {Quaderni di Matematica},
  volume =              {13},
  pages =               {175-227},
  year =                {2004},
}
Liste des auteurs