@inproceedings{csl/NenovP10,
  title = "On the Computability of Region-Based Euclidean Logics",
  author = "Yavor Nenov and Ian Pratt-Hartmann",
  year = "2010",
  booktitle = "CSL",
  pages = "439-453",
}