@article{KieronskiOtto2012,
  volume = {77},
  year = {2012},
  journal = {Journal of Symbolic Logic},
  author = {Kieronski, Emanuel and Otto, Martin},
  note = {Journal version of {LICS'05} paper},
  title = {Small substructures and decidability issues for first-order logic
           with two variables},
  pages = {729-765},
}