@Misc{            abel:habil,
  Author        = "Abel, Andreas",
  date-added    = "2017-05-03 19:47:58 +0000",
  date-modified = "2017-05-03 19:48:42 +0000",
  HowPublished  = "Habilitation Thesis",
  Keywords      = "normalization by evaluation",
  Title         = "Normalization by Evaluation Dependent Types and Impredicativity",
  File          = "habil (0) - a - a - z.pdf"
}

@Misc{ abel:habil, Author = "Abel, Andreas", date-added = "2017-05-03 19:47:58 +0000", date-modified = "2017-05-03 19:48:42 +0000", HowPublished = "Habilitation Thesis", Keywords = "normalization by evaluation", Title = "Normalization by Evaluation Dependent Types and Impredicativity", File = "habil (0) - a - a - z.pdf" }