@misc{indiciae9eee21b265e3,
  title = {Bisimulation and p-morphism for branching-time logics with indistinguishability relations},
  author = {Alberto Gatto},
  year = {2013},
  url = {https://arxiv.org/abs/1302.6514},
  note = {Source identifier: 1302.6514}
}