Rob Miller 0002 Murray Shanahan The Event Calculus in Classical Logic - Alternative Axiomatisations. 77-105 1999 3 Electron. Trans. Artif. Intell. A http://www.ep.liu.se/ej/etai/1999/016/ db/journals/etai/etai3.html#MillerS99