[5] Rob Miller, Situation Calculus Specifications for Event Calculus Logic Programs, in Proceedings of the Third International Conference on Logic Programming and Non-monotonic Reasoning, Lexington, KY, USA, pub. Springer Verlag, 1995, pages 217-230. [Abstract, with link to postscript].