@Misc{            Bauer06konigslemma,
  Author        = "Bauer, Andrej",
  date-added    = "2020-03-16 15:38:36 +0100",
  date-modified = "2020-03-16 15:38:36 +0100",
  Title         = {K{\"o}nig's Lemma and Kleene Tree},
  Year          = "2006",
  File          = "König’s Lemma and the Kleene Tree - kleene-tree - a - a - a - b.pdf"
}

@Misc{ Bauer06konigslemma, Author = "Bauer, Andrej", date-added = "2020-03-16 15:38:36 +0100", date-modified = "2020-03-16 15:38:36 +0100", Title = {K{\"o}nig's Lemma and Kleene Tree}, Year = "2006", File = "König’s Lemma and the Kleene Tree - kleene-tree - a - a - a - b.pdf" }