TY  - RPRT
TI  - Inquisitive bisimulation
AU  - Ivano Ciardelli
AU  - Martin Otto
PY  - 2020
DO  - 10.1017/jsl.2020.77
UR  - https://arxiv.org/abs/1803.03483
ID  - 1803.03483
ER  -