@inproceedings{DBLP:conf/csl/NenovP10,
  title = "On the Computability of Region-Based Euclidean Logics",
  author = "Yavor Nenov and Ian Pratt{-}Hartmann",
  year = "2010",
  booktitle = "Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings",
  pages = "439--453",
  doi = "10.1007/978-3-642-15205-4_34",
}