@misc{indiciae1ec6d4d8a077,
  title = {Bisimilarity is not Borel},
  author = {Pedro Sánchez Terraf},
  year = {2014},
  doi = {10.1017/s0960129515000535},
  url = {https://arxiv.org/abs/1211.0967},
  note = {Source identifier: 1211.0967}
}