@Misc{            pfenning,
  Author        = "Pfenning, Frank",
  date-added    = "2020-09-14 10:10:22 +0200",
  date-modified = "2020-09-14 10:10:36 +0200",
  Title         = "Lecture Notes on Cut Elimination",
  Year          = "2017",
  File          = "Lecture notes on cut elimination - 10-cutelim - a - u.pdf"
}

@Misc{ pfenning, Author = "Pfenning, Frank", date-added = "2020-09-14 10:10:22 +0200", date-modified = "2020-09-14 10:10:36 +0200", Title = "Lecture Notes on Cut Elimination", Year = "2017", File = "Lecture notes on cut elimination - 10-cutelim - a - u.pdf" }