@Article{AehligSchwichtenberg01,
  author =       {Aehlig, Klaus and Schwichtenberg, Helmut},
  title =        {A syntactical analysis of non-size-increasing
                  polynomial time computation},
  journal =      {ACM Transactions on Computational Logic},
  year =         2002,
  volume = 3,
  number = 3,
  month = jul,
  pages = {383-401}
}