@inproceedings{KolaitisOtto1998,
  pages = {513-524},
  title = {On the boundedness problem for two-variable first-order logic},
  year = {1998},
  booktitle = {Proceedings of IEEE Symposium on Logic in Computer Science LICS
               `98},
  author = {Kolaitis, Phokion and Otto, Martin},
}