@InProceedings{   Thomas,
  Author        = "Thomas, Wolfgang",
  BookTitle     = "Mathematical Foundations of Computer Science",
  date-added    = "2012-05-08 19:25:02 +0200",
  date-modified = "2012-05-10 13:16:06 +0200",
  Keywords      = "MSO",
  Title         = "Constructing Infinite Graphs with a Decidable MSO-Theory",
  Year          = "2003",
  File          = "Constructing Infinite Graphs with a Decidable MSO-Theory - Thomas (0) (0) - a - a - j.pdf",
  file-2        = "Constructing Infinite Graphs with a Decidable MSO-Theory - Thomas (1) (0) - a - a - j.pdf"
}

@InProceedings{ Thomas, Author = "Thomas, Wolfgang", BookTitle = "Mathematical Foundations of Computer Science", date-added = "2012-05-08 19:25:02 +0200", date-modified = "2012-05-10 13:16:06 +0200", Keywords = "MSO", Title = "Constructing Infinite Graphs with a Decidable MSO-Theory", Year = "2003", File = "Constructing Infinite Graphs with a Decidable MSO-Theory - Thomas (0) (0) - a - a - j.pdf", file-2 = "Constructing Infinite Graphs with a Decidable MSO-Theory - Thomas (1) (0) - a - a - j.pdf" }