@Misc{            Loding:2011aa,
  Author        = {L{\"o}ding, Christof},
  date-added    = "2017-10-13 14:11:20 +0000",
  date-modified = "2017-10-13 14:11:35 +0000",
  Month         = "December",
  Title         = "Automata on Inifinite Trees",
  Year          = "2011",
  File          = "inf-tree-automata (0) - a - a - w.pdf"
}

@Misc{ Loding:2011aa, Author = {L{\"o}ding, Christof}, date-added = "2017-10-13 14:11:20 +0000", date-modified = "2017-10-13 14:11:35 +0000", Month = "December", Title = "Automata on Inifinite Trees", Year = "2011", File = "inf-tree-automata (0) - a - a - w.pdf" }