Iliano Cervesato;Luca Chittaro;Angelo Montanari
-;-;-
The Logical Approach to Temporal Reasoning
Artificial Intelligence Review