A logical-based calculus of events (1986)

by R Kowalski, A Sergot
Venue:In New Generation Computing