Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic | Publicación