A Logic-Based Calculus of Events (1986)

GPTKB entity