Scott D. Goodwin;André Trudel
-;-
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review