@misc{indiciae0f3fb7fc72fe,
  title = {Inquisitive bisimulation},
  author = {Ivano Ciardelli and Martin Otto},
  year = {2020},
  doi = {10.1017/jsl.2020.77},
  url = {https://arxiv.org/abs/1803.03483},
  note = {Source identifier: 1803.03483}
}