@Misc{            Hetzl,
  Author        = "Hetzl, Stefan",
  date-added    = "2014-03-23 19:30:53 +0000",
  date-modified = "2014-03-23 19:31:04 +0000",
  Title         = "Higher-Order Logic",
  Year          = "2013",
  File          = "Higher-Order Logic - Hetzl (0) (0) - a - a - b.pdf"
}

@Misc{ Hetzl, Author = "Hetzl, Stefan", date-added = "2014-03-23 19:30:53 +0000", date-modified = "2014-03-23 19:31:04 +0000", Title = "Higher-Order Logic", Year = "2013", File = "Higher-Order Logic - Hetzl (0) (0) - a - a - b.pdf" }