@MastersThesis{   Jacobi:2013aa,
  Author        = "Jacobi, Elisabeth",
  date-added    = "2018-11-23 19:47:31 +0100",
  date-modified = "2018-11-23 19:48:24 +0100",
  School        = "Technischen Universitat Darmstadt",
  Title         = "Weak Monadic Second-Order Logic on Infinitely Branching Trees",
  Year          = "2013",
  File          = "Diploma-Thesis-Elisabeth-Jacobi\_unlocked (0) - a - a - n.pdf"
}

@MastersThesis{ Jacobi:2013aa, Author = "Jacobi, Elisabeth", date-added = "2018-11-23 19:47:31 +0100", date-modified = "2018-11-23 19:48:24 +0100", School = "Technischen Universitat Darmstadt", Title = "Weak Monadic Second-Order Logic on Infinitely Branching Trees", Year = "2013", File = "Diploma-Thesis-Elisabeth-Jacobi_unlocked (0) - a - a - n.pdf" }