@TechReport{      cut-elim,
  Author        = "Pfenning, Frank",
  date-added    = "2020-12-13 21:00:36 +0100",
  date-modified = "2020-12-13 21:00:53 +0100",
  Title         = "Lecture notes on cut elimination",
  File          = "Lecture Notes on Cut Elimination - 10-cutelim - b - u.pdf",
  file-2        = "Lecture Notes on Sequent Calculus - 09-seqcalc - a - u.pdf"
}

@TechReport{ cut-elim, Author = "Pfenning, Frank", date-added = "2020-12-13 21:00:36 +0100", date-modified = "2020-12-13 21:00:53 +0100", Title = "Lecture notes on cut elimination", File = "Lecture Notes on Cut Elimination - 10-cutelim - b - u.pdf", file-2 = "Lecture Notes on Sequent Calculus - 09-seqcalc - a - u.pdf" }