Fig. 5From: A spatio-temporal specification language and its completeness & decidabilityThe region-based spatial terms in topometric modelBack to article page