TY  - RPRT
TI  - Generalized Vietoris Bisimulations
AU  - Sebastian Enqvist
AU  - Sumit Sourabh
PY  - 2014
DO  - 10.1093/logcom/exy001
UR  - https://arxiv.org/abs/1412.4586
ID  - 1412.4586
ER  -