A Critical Comparison of the 4-Intersection and 9-Intersection Models for Spatial Relations: Formal Analysis*
Maintaining knowledge about temporal intervals