@misc{indiciae0c0d30c5eef6,
  title = {Communicating Finite-State Machines and Two-Variable Logic},
  author = {Benedikt Bollig and Marie Fortin and Paul Gastin},
  year = {2017},
  url = {https://arxiv.org/abs/1709.09991},
  note = {Source identifier: 1709.09991}
}