Sensing Actions, Time, and Concurrency in the Situation Calculus. - Stephen Zimmerbaum; Richard B. Scherl (ATAL, 2000)