@inproceedings{Otto2010b,
  author = {Otto, Martin},
  booktitle = {Proceedings 25th IEEE Symposium on Logic in Computer Science,
               {LICS 2010}},
  year = {2010},
  title = {Highly acyclic groups, hypergraph covers and the guarded fragment},
  pages = {12-21},
}