@inproceedings{KreutzerOttoSchweikardt2007,
  series = {{LNCS}},
  year = {2007},
  booktitle = {Proceedings of {ICALP}'2007},
  volume = {4596},
  editor = {Arge and others},
  pages = {571-582},
  title = {Boundedness of monadic {FO} over acyclic structures},
  publisher = {Springer-Verlag},
  author = {Kreutzer, Stephan and Otto, Martin and Schweikardt, Nicole},
}