@InProceedings{   FSTTCS2004,
  Author        = "Montanari, A. and Puppis, G.",
  BookTitle     = "Proceedings of the 24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)",
  date-added    = "2012-05-08 19:22:11 +0200",
  date-modified = "2012-05-08 19:22:17 +0200",
  Keywords      = "MSO",
  Pages         = "430-442",
  Publisher     = "Springer",
  Series        = "LNCS",
  Title         = "Decidability of {M}{S}{O} Theories of Tree Structures",
  Volume        = "3328",
  Year          = "2004",
  File          = "Decidability of MSO Theories of Tree Structures - Montanari, Puppis (0) (1) - a - a - e.pdf"
}

@InProceedings{ FSTTCS2004, Author = "Montanari, A. and Puppis, G.", BookTitle = "Proceedings of the 24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)", date-added = "2012-05-08 19:22:11 +0200", date-modified = "2012-05-08 19:22:17 +0200", Keywords = "MSO", Pages = "430-442", Publisher = "Springer", Series = "LNCS", Title = "Decidability of {M}{S}{O} Theories of Tree Structures", Volume = "3328", Year = "2004", File = "Decidability of MSO Theories of Tree Structures - Montanari, Puppis (0) (1) - a - a - e.pdf" }