@misc{indiciaefc9f8a67684f,
  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},
  url = {https://arxiv.org/abs/1104.0219},
  note = {Source identifier: 1104.0219}
}