@article{3950,
  title = "A Contraction Method to Decide MSO Theories of Deterministic Trees",
  author = "Angelo Montanari and Gabriele Puppis",
  year = "2007",
  journal = "LICS'07: Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science",
}