Kristof Van Belleghem Marc Denecker Danny De Schreye Combining Situation Calculus and Event Calculus. 83-97 1995 ICLP db/conf/iclp/iclp95.html#BelleghemDS95