@article{Otto2001,
  author = {Otto, Martin},
  year = 2001,
  volume = 66,
  pages = {685-702},
  title = {Two-variable first-order logic over ordered domains},
  journal = {Journal of Symbolic Logic},
}