@inproceedings{Otto2006b,
  booktitle = {Proceedings of 21st {IEEE} Symposium on Logic in Computer Science
               {LICS}'06},
  year = {2006},
  author = {Otto, Martin},
  pages = {37-46},
  title = {The boundedness problem for monadic universal first-order logic},
}