@InProceedings{AehligJoachimski02,
  author =       {Aehlig, Klaus and Joachimski, Felix},
  title =        {On Continuous Normalization},
  booktitle =    {Proceedings of the Annual Conference of the European
                  Association for Computer Science Logic (CSL '02)},
  pages =        {59--73},
  year =         2002,
  volume =       2471,
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer Verlag}
}