@misc{indiciaed00f7a23499f,
  title = {It Is Easy to Be Wise After the Event: Communicating Finite-State Machines Capture First-Order Logic with "Happened Before"},
  author = {Benedikt Bollig and Marie Fortin and Paul Gastin},
  year = {2018},
  url = {https://arxiv.org/abs/1804.10076},
  note = {Source identifier: 1804.10076}
}