@InProceedings{AehligSchwichtenberg00,
  author =       {Aehlig, Klaus and Schwichtenberg, Helmut},
  title =        {A syntactical analysis of non-size-increasing
                  polynomial time computation},
  booktitle =    {Proceedings of the Fifteenth IEEE Symposium on Logic
                  in Computer Science (LICS '00)},
  pages =        {84 - 91},
  year =         2000,
  month =        jun
}