@article{GraedelOttoRosen1999,
  volume = {38},
  year = {1999},
  journal = {Archive for Mathematical Logic},
  author = {Gr{\"a}del, Erich and Otto, Martin and Rosen, Eric},
  title = {Undecidability results for two-variable logics},
  pages = {313--354},
}