@Misc{            Loding,
  Author        = {L{\"o}ding, Christof},
  date-added    = "2012-04-08 10:29:06 +0200",
  date-modified = "2014-01-30 14:17:09 +0000",
  HowPublished  = "Habilitation Thesis",
  Keywords      = "automata theory and mathematical logic",
  Title         = "Logic and Automata over Infinite Trees",
  File          = "Logic and Automata over Infinite Trees - Loding (0) (0) - a - a - l.pdf"
}

@Misc{ Loding, Author = {L{\"o}ding, Christof}, date-added = "2012-04-08 10:29:06 +0200", date-modified = "2014-01-30 14:17:09 +0000", HowPublished = "Habilitation Thesis", Keywords = "automata theory and mathematical logic", Title = "Logic and Automata over Infinite Trees", File = "Logic and Automata over Infinite Trees - Loding (0) (0) - a - a - l.pdf" }