@inproceedings{KieronskiOtto2005c,
  pages = {448-457},
  title = {Small substructures and decidability issues for two-variable
           first-order logic},
  booktitle = {Proceedings of 20th {IEEE} Symposium on Logic in Computer Science
               {LICS}'05},
  year = {2005},
  author = {Kieronski, Emanuel and Otto, Martin},
}