TY - RPRT TI - A Proof of the Compositions of Time Interval Relations AU - Fadoua Ghourabi AU - Kazuko Takahashi PY - 2018 UR - https://arxiv.org/abs/1804.01637 ID - 1804.01637 ER -