A graph-theoretic approach to efficiently reason about partially ordered events in the Event Calculus | IEEE Conference Publication | IEEE Xplore