A Logic-based Calculus of Events (1986)

GPTKB entity