Antonio Morales Guido Sciavicco Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic. 50-60 2006 conf/time/2006 TIME http://doi.ieeecomputersociety.org/10.1109/TIME.2006.34 db/conf/time/time2006.html#MoralesS06