@Article{AehligJoachimski03,
  author =       {Aehlig, Klaus and Joachimski, Felix},
  title =        {Continuous Normalization for the Lambda-Calculus and
                  {G}\"odel's {$T$}},  
  journal =      {Annals of Pure and Applied Logic},
  year =         2005,
  volume =       133,
  number =       {1--3},
  pages =        {39--71},
  month =        may
}