@InProceedings{AehligBeckmann08,
  author =       {Aehlig, Klaus and Beckmann, Arnold},
  title =        {On the computational complexity of cut-reduction},
  pages =        {284--293},
  crossref =     {LICS08}
}

@Proceedings{LICS08,
  title =    {Proceedings of the
Twentythird Annual IEEE Symposium on Logic in Computer Science (LICS '08)},
  booktitle =    {Proceedings of the
Twentythird Annual IEEE Symposium on Logic in Computer Science (LICS '08)},
  year =         2008,
  month =        jun
}