% @string(apal="Annals of Pure and Applied Logic")
@Article{AehligBeckmann08a,
  author =       {Aehlig, Klaus and Beckmann, Arnold},
  title =        {On the computational complexity of cut-reduction},
  journal =      apal,
  year =         2010,
  volume =   161,
  number =   6,
  pages =    {711--736}}

% doi:10.1016/j.apal.2009.06.004