On the Computational Complexity of Spatial Logics with Connectedness Constraints.

Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev

Browse the full LPAR paper archive.