I
[IK89] Neil Immerman et Dexter C. Kozen. Definability with Bounded Number of Bound Variables. Information and Computation 83(2):121-139. Academic Press, novembre 1989. 
@article{icomp83(2)-IK,
  author =              {Immerman, Neil and Kozen, Dexter C.},
  title =               {Definability with Bounded Number of Bound Variables},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {83},
  number =              {2},
  pages =               {121-139},
  year =                {1989},
  month =               nov,
}
Liste des auteurs