c-ijcai-97-1221Guiseppe De Giacomo, Yves Lespérance, and Hector J. Levesque.
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus. [postscript]
Proc. International Joint Conference on Artificial Intelligence, 1997, pp. 1221-1226.