[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].