The event calculus in classical logic - alternative axiomatisations

R. Miller and M. Shanahan, "The event calculus in classical logic - alternative axiomatisations." Electron. Trans. Artif Intell, vol. 3, no. A, pp. 77-105, 1999.

1999