doi dblp
An Introduction to Constraint-Based Temporal Reasoning
Roman Barták | Robert A. Morris | Kristen Brent Venable