Shieu-Hong Lin, Thomas Dean: Localized Temporal Reasoning: A State-Based Approach. TIME 1994: 3-12