@inproceedings{BGO10lics,
  title = "Querying the Guarded Fragment",
  author = "Vince Barany and Georg Gottlob and Martin Otto",
  year = "2010",
  howpublished = "to appear in Proceedings of LICS 2010",
  url = "http://web.comlab.ox.ac.uk/people/vince.barany/FinControl.pdf",
}