@article{DBLP:journals/scc/BhattL08,
  author    = {Mehul Bhatt and
               Seng W. Loke},
  title     = {Modelling Dynamic Spatial Systems in the Situation Calculus},
  journal   = {Spatial Cognition {\&} Computation},
  volume    = {8},
  number    = {1-2},
  pages     = {86--130},
  year      = {2008},
  %url       = {https://doi.org/10.1080/13875860801926884},
  url       = {pdfs/Spatial_Reasoning/Spatial_Cognition_Computation-2008.pdf},
  doi       = {10.1080/13875860801926884},
  timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/scc/BhattL08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}