Tractable Interval Temporal Propositional and Description Logics

Open in new window