Introduction to Constraint-Based Temporal ReasoningRoman Barták, Robert A. Morris, K. Brent VenableHäftad459 kr