An Introduction to Constraint-Based Temporal Reasoning

Book by K. Brent Venable, Robert A. Morris, and Roman Barták