@article{GraedelOtto1999,
  year = {1999},
  volume = {224},
  journal = {Theoretical Computer Science},
  author = {Gr{\"a}del, Erich and Otto, Martin},
  pages = {73--113},
  title = {On logics with two variables},
}