@inproceedings{CanavoiOtto2017LICS,
  booktitle = {ACM/IEEE Symposium on Logic in Computer Science, {LICS 2017}},
  year = {2017},
  author = {Canavoi, Felix and Otto, Martin},
  title = {Common knowledge and multi-scale locality analysis in Cayley
           structures},
}