@inproceedings{BaranyGottlobOtto2010,
  title = {Querying the guarded fragment},
  pages = {2-11},
  year = {2010},
  booktitle = {Proceedings 25th IEEE Symposium on Logic in Computer Science,
               {LICS 2010}},
  author = {Barany, Vince and Gottlob, Georg and Otto, Martin},
}