@Article{Lutz-Wolter-LMCS-06,
  author =  {C. Lutz and F. Wolter},
  title =  {Modal Logics of Topological Relations},
  journal =  {Logical Methods in Computer Science},
  year =  {2006},
  volume =  {2},
  number =  {2}
}
