@techreport{BruGug,
   author =      {Br\"unnler, Kai and Guglielmi, Alessio},
   title =       {Consistency Without Cut Elimination},
   institution = {Technische Universit\"at Dresden},
   year =        2002,
   number =      {WV-02-16},
}