Murray Shanahan
The Event Calculus Revisited
Unpublished manuscript