@unpublished{CiardelliOtto2018,
  title = {Inquisitive bisimulation},
  note = {arXiv:1803.03483, 57 pages},
  year = {2018},
  author = {Ciardelli, Ivano and Otto, Martin},
}