@article{3945,
  title = "Decidability of MSO Theories of Tree Structures",
  author = "Angelo Montanari and Gabriele Puppis",
  year = "2004",
  journal = "FSTTCS'04: Proceedings of the 24th Conference on Foundations of Software Technology and Theoretical Computer Science",
}