Enrico Giunchiglia, Vladimir Lifschitz:
Action Languages, Temporal Action Logics and the Situation Calculus
Unpublished manuscript