@inproceedings{baston/capretta:2018,
  author    = {Colm Baston and Venanzio Capretta},
  title     = {The Coinductive Formulation of Common Knowledge},
  booktitle = {Interactive Theorem Proving - 9th International Conference, {ITP}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings},
  pages     = {126--141},
  year      = {2018},
  crossref  = {itp2018},
  doi       = {10.1007/978-3-319-94821-8_8}
}

@proceedings{itp2018,
  editor    = {Jeremy Avigad and
               Assia Mahboubi},
  title     = {Interactive Theorem Proving - 9th International Conference, {ITP}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10895},
  publisher = {Springer},
  year      = {2018},
  doi       = {10.1007/978-3-319-94821-8},
  isbn      = {978-3-319-94820-1}
}