TY  - RPRT
TI  - Unprovability of the Logical Characterization of Bisimulation
AU  - Pedro Sánchez Terraf
PY  - 2010
UR  - https://arxiv.org/abs/1005.5142
ID  - 1005.5142
ER  -