Fig. 1From: A spatio-temporal specification language and its completeness & decidabilityThe 2-dimensional interpretation of spatial terms and relationsBack to article page