@inproceedings{BlumensathOttoWeyer2009,
  author = "Achim Blumensath and Martin Otto and Mark Weyer",
  title = "Boundedness of Monadic Second-Order Formulae over Finite Words",
  booktitle = "Automata, Languages and Programming, 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5--12, 2009. Proceedings, Part II",
  year = 2009,
  editor = "Susanne Albers and Alberto Marchetti-Spaccamela and Yossi Matias and Sotiris Nikoletseas and Wolfgang Thomas",
  number = "5556",
  series = "Lecture Notre in Computer Science -- Advanced Research in Computing and Software Science",
  pages = "67--78",
  publisher = "Springer"
}