@inproceedings{ijcai/KontchakovNPZ11,
  title = "On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces",
  author = "Roman Kontchakov and Yavor Nenov and Ian Pratt{-}Hartmann and Michael Zakharyaschev",
  year = "2011",
  booktitle = "{IJCAI} 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011",
  pages = "957--962",
}