A logic-based calculus of events (1986)

by R A Kowalski, M J Sergot
Venue:New Generation Comput