@phdThesis{BruTh,
   author =  {Kai Br\"unnler},
   title =   {Deep Inference and Symmetry in Classical Proofs},
   school =  {Technische Universit\"at Dresden},
   year =    2003
}