Gerard LigozatBooksSpatial and Temporal ReasoningLogical tools for temporal knowledge representationAuthor data: Open Library