Exact and approximate reasoning about temporal relations1