Temporal Reasoning
Action Languages, Temporal Action Logics and the Situation Calculus 1999
Enrico Giunchiglia and Vladimir Lifschitz, In Working Notes of the IJCAI-99 Workshop on Nonmonotonic Reasoning, Action, and Change 1999.
Representing Action: Indeterminacy and Ramifications 1997
Enrico Giunchiglia, G. Neelakantan Kartha and Vladimir Lifschitz, Artificial Intelligence, Vol. 95 (1997), pp. 409-443.