@inproceedings{Otto2013LICS,
  title = {Groupoids, hypergraphs, and symmetries in finite models},
  pages = {53-62},
  author = {Otto, Martin},
  year = {2013},
  booktitle = {ACM/IEEE Symposium on Logic in Computer Science, {LICS 2013}},
}