@inproceedings{Kazakov:04:GF2N,
  title = "A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment.",
  author = "Yevgeny Kazakov",
  year = "2004",
  booktitle = "JELIA",
  pages = "372-384",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "http://springerlink.metapress.com/content/mf9qwrdae400ce36/?p=13074e546716423e8572164c5fc128de&pi=0",
  volume = "3229",
}