"Variants of the Event Calculus."

Fariba Sadri, Robert A. Kowalski (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics