Kristof Van Belleghem Marc Denecker Danny De Schreye On the Relation Between Situation Calculus and Event Calculus. 3-37 1997 31 J. Log. Program. 1-3 db/journals/jlp/jlp31.html#BelleghemDS97