@article{Otto2000a,
  journal = {Journal of Symbolic Logic},
  year = {2000},
  volume = {65},
  title = {Epsilon-logic is more expressive than first-order logic over finite
           structures},
  pages = {1749-1757},
  author = {Otto, Martin},
}