@InProceedings{   carayol2012uniformization,
  Author        = {Carayol, Arnaud and L{\"o}ding, Christof},
  BookTitle     = "Proceedings of the Fourteenth International Congress of Logic, Methodology and Philosophy of Science, College Publications, London",
  date-added    = "2015-10-01 15:15:07 +0000",
  date-modified = "2015-10-01 15:15:07 +0000",
  Title         = "Uniformization in automata theory",
  Year          = "2012",
  File          = "Uniformization in automata theory - Carayol, Löding (0) (0) - a - a - x.pdf",
  file-2        = "Uniformization in automata theory - Carayol, Löding (1) (0) - a - a - x.pdf"
}

@InProceedings{ carayol2012uniformization, Author = {Carayol, Arnaud and L{\"o}ding, Christof}, BookTitle = "Proceedings of the Fourteenth International Congress of Logic, Methodology and Philosophy of Science, College Publications, London", date-added = "2015-10-01 15:15:07 +0000", date-modified = "2015-10-01 15:15:07 +0000", Title = "Uniformization in automata theory", Year = "2012", File = "Uniformization in automata theory - Carayol, Löding (0) (0) - a - a - x.pdf", file-2 = "Uniformization in automata theory - Carayol, Löding (1) (0) - a - a - x.pdf" }