TY  - RPRT
TI  - Topological Logics with Connectedness over Euclidean Spaces
AU  - Roman Kontchakov
AU  - Yavor Nenov
AU  - Ian Pratt-Hartmann
AU  - Michael Zakharyaschev
PY  - 2011
DO  - 10.1145/2480759.2480765
UR  - https://arxiv.org/abs/1110.4034
ID  - 1110.4034
ER  -