@article{conf/csl/NenovP10,
  title = "On the Computability of Region-Based Euclidean Logics",
  author = "Yavor Nenov and Ian Pratt-Hartmann",
  year = "2010",
  journal = "Conference for Computer Science Logic",
}