@article{K04a,
  number="1--3",
  volume="126",
  month="April",
  author="Dexter Kozen",
  note="Special issue: {\em Provinces of logic determined.  Essays in the memory of Alfred Tarski}.  Zofia Adamowicz, Sergei Artemov, Damian Niwinski, Ewa Orlowska, Anna Romanowska, and Jan Wolenski (eds.)",
  title="Computational Inductive Definability",
  journal="Annals of Pure and Applied Logic",
  year="2004",
  pages="139--148"
}