@PhdThesis{       Spelten,
  Author        = "Spelten, Alexandra",
  date-added    = "2015-04-23 12:26:39 +0000",
  date-modified = "2015-04-23 12:27:22 +0000",
  School        = "Aachen",
  Title         = "Paths in Infinite Trees: Logics and Automata",
  Year          = "2013",
  File          = "Paths in Infinite Trees Logics and Automata - Spelten (0) (0) - a - a - n.pdf"
}

@PhdThesis{ Spelten, Author = "Spelten, Alexandra", date-added = "2015-04-23 12:26:39 +0000", date-modified = "2015-04-23 12:27:22 +0000", School = "Aachen", Title = "Paths in Infinite Trees: Logics and Automata", Year = "2013", File = "Paths in Infinite Trees Logics and Automata - Spelten (0) (0) - a - a - n.pdf" }