@inProceedings{BruACECL,
   author =    {Br\"unnler, Kai},
   title =     {Atomic Cut Elimination for Classical Logic},
   year =      2003,
   booktitle = {CSL 2003},
   publisher = {Springer-Verlag},
   volume =    2803,
   pages =     {86--97},
   editor =    {M. Baaz and J. A. Makowsky},
   series =    {Lecture Notes in Computer Science}
}