TY  - RPRT
TI  - Spatial logics with connectedness predicates
AU  - Roman Kontchakov
AU  - Ian Pratt-Hartmann
AU  - Frank Wolter
AU  - Michael Zakharyaschev
PY  - 2010
DO  - 10.2168/lmcs-6(3:7)2010
UR  - https://arxiv.org/abs/1003.5399
ID  - 1003.5399
ER  -