@inproceedings{BlumensathOttoWeyer2009,
  title = {{Boundedness of monadic second-order formulae over finite words}},
  year = 2009,
  booktitle = {{Proc.\ 26nd Int.\ Colloquium on Automata, Languages and
               Programming}},
  author = {Blumensath, Achim and Otto, Martin and Weyer, Marc},
}