A Tableau-Based System for Spatial Reasoning about Directional Relations | Publicación