Fariba Sadri Robert A. Kowalski Variants of the Event Calculus. 67-81 1995 ICLP db/conf/iclp/iclp95.html#SadriK95