Robert A. Kowalski Fariba Sadri Reconciling the Event Calculus With the Situation Calculus. 39-58 1997 31 J. Log. Program. 1-3 db/journals/jlp/jlp31.html#KowalskiS97