@misc{indiciaed2f333451b8c,
  title = {Model Checking Spatial Logics for Closure Spaces},
  author = {Vincenzo Ciancia and Diego Latella and Michele Loreti and Mieke Massink},
  year = {2016},
  doi = {10.2168/lmcs-12(4:2)2016},
  url = {https://arxiv.org/abs/1609.06513},
  note = {Source identifier: 1609.06513}
}