A logic-based calculus of events

R. A. Kowalski and M. J. Sergot, "A logic-based calculus of events." New Generation Comput., vol. 4, no. 1, pp. 67-95, 1986.

1986