Spatial and temporal reasoning (Kluwer Acad. Publ., 1997)